Extensional Gödel functional interpretation
ISBN
9783540382836
Extensional Gödel functional interpretation es un intuitionistic mathematics, proof theory book de Horst Luckhardt.
Descubre Extensional Gödel functional interpretation de Horst Luckhardt, intuitionistic mathematics.
Sobre el Autor
Horst Luckhardt es el autor de Extensional Gödel functional interpretation. Explora su catálogo completo en Booklogr.
Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Extensional Gödel functional interpretation?+
Extensional Gödel functional interpretation es un libro de Intuitionistic mathematics, Proof theory.
¿Quién escribió Extensional Gödel functional interpretation?+
Extensional Gödel functional interpretation fue escrito por Horst Luckhardt.