Extensional Gödel functional interpretation
ISBN
9783540382836
Extensional Gödel functional interpretation est un intuitionistic mathematics, proof theory book de Horst Luckhardt.
Découvrez Extensional Gödel functional interpretation de Horst Luckhardt, intuitionistic mathematics.
À propos de l'auteur
Horst Luckhardt 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 Horst Luckhardt.