Provability, Computability and Reflection
- 1 Edición, Volumen 23 - 1 de enero de 1958
- Última edición
- Autor: Lev D. Beklemishev
- Idioma: Inglés
De interès para
De interès para
Students and researchers in Logic (Mathematics, Computer Science, Philosophy).
Detalles del producto
Detalles del producto
- Edición: 1
- Última edición
- Volumen: 23
- Publicado: 1 de abril de 2000
- Idioma: Inglés
Sobre el autor
Sobre el autor
LB
Lev D. Beklemishev
Afiliaciones y experiencia
Steklov Institute of Mathematics, Moscow and Utrecht University.Ver libro en ScienceDirect
Ver libro en ScienceDirect
Lee Provability, Computability and Reflection en ScienceDirect