Extensional Gödel functional interpretation
- ISBN
- 9780387061191
Extensional Gödel functional interpretation è un intuitionistic mathematics, proof theory book di .
Scopri Extensional Gödel functional interpretation di , intuitionistic mathematics.
Sull'Autore
è 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 .