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 :
Description
Bibliographie : Bibliogr. p. 157-161
ISBN : 3-540-06119-3
0-387-06119-3