Provability, Computability and Reflection
- 1 Edición, Volumen 19 - 1 de enero de 1956
- Ú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: 19
- Publicado: 1 de enero de 1956
- 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