Extensional Gödel functional interpretation
- ISBN
- 9783540382836
Extensional Gödel functional interpretation è un intuitionistic mathematics, proof theory book di Horst Luckhardt.
Scopri Extensional Gödel functional interpretation di Horst Luckhardt, intuitionistic mathematics.
Sull'Autore
Horst Luckhardt è l'autore di Extensional Gödel functional interpretation. Esplora il suo catalogo completo su Booklogr.
Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Extensional Gödel functional interpretation?+
Extensional Gödel functional interpretation è un libro di Intuitionistic mathematics, Proof theory.
Chi ha scritto Extensional Gödel functional interpretation?+
Extensional Gödel functional interpretation è stato scritto da Horst Luckhardt.