Extensional Gödel functional interpretation
- ISBN
- 9780387061191
Extensional Gödel functional interpretation est un intuitionistic mathematics, proof theory book de .
Découvrez Extensional Gödel functional interpretation de , intuitionistic mathematics.
À propos de l'auteur
est l'auteur de Extensional Gödel functional interpretation. Parcourez son catalogue complet sur Booklogr.
Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Extensional Gödel functional interpretation ?+
Extensional Gödel functional interpretation est un livre de Intuitionistic mathematics, Proof theory.
Qui a écrit Extensional Gödel functional interpretation ?+
Extensional Gödel functional interpretation a été écrit par .