Proof theory / Schütte, Kurt

Public ISBD Titre : Proof theory Type de document : texte imprimé Auteurs : Schütte, Kurt Editeur : Springer-Verlag Année de publication : 1977 Collection : Grundlehren der Mathematischen Wissenschaften num. 223 Importance : xii - 302 p. Langues : Anglais Langues originales : Allemand Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F99 None of the above, but in this section Mots-clés : mathematical logic Index. décimale : 03C Monographie Proof theory [texte imprimé] / Schütte, Kurt . - [S.l.] : Springer-Verlag, 1977 . - xii - 302 p.. - (Grundlehren der Mathematischen Wissenschaften; 223) . Langues : Anglais Langues originales : Allemand Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F99 None of the above, but in this section Mots-clés : mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9766	03C22	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

---

page 1/1