Extensional Gödel functional interpretation : a consistency proof of classical analysis

Enregistré dans:
Détails bibliographiques
Auteur principal : Luckhardt Horst (Auteur)
Format : Livre
Langue : anglais
Titre complet : Extensional Gödel functional interpretation : a consistency proof of classical analysis / Horst Luckhardt,...
Publié : Berlin, Heidelberg, New York : Springer , 1973
Description matérielle : 1 vol. (VI-161 p.)
Collection : Lecture notes in mathematics ; 306
Sujets :

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
Cote Prêt Statut
Bibliothèque LNM/306 Prêt sans prolongation Disponible