Provability, Computability and Reflection
- 1 Edición, Volumen 20 - 1 de abril de 2000
- Última edición
- Autor: Lev D. Beklemishev
- Idioma: Inglés
Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its… Leer más
Descripción
Descripción
Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.
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: 20
- 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