Titre :	Foundations of constructive mathematics : mathematical studies
Type de document :	texte imprimé
Auteurs :	Beeson, Michael J.
Editeur :	Springer-Verlag
Année de publication :	1985
Collection :	Ergebnisse der Mathematik und ihrer Grenzgebiete num. 6
Importance :	xxiii - 466 p.
ISBN/ISSN/EAN :	978-3-540-12173-2
Langues :	Anglais
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:03F50 Metamathematics of constructive systems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematics
Mots-clés :	constructive proof  formal systems  constructive mathematics  intuitionistic logic  constructive metamathematics  set theory  proof theory
Index. décimale :	03C Monographie

Foundations of constructive mathematics : mathematical studies [texte imprimé] / Beeson, Michael J. . - [S.l.] : Springer-Verlag, 1985 . - xxiii - 466 p.. - (Ergebnisse der Mathematik und ihrer Grenzgebiete; 6) .
ISBN : 978-3-540-12173-2
Langues : Anglais

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:03F50 Metamathematics of constructive systems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematics
Mots-clés :	constructive proof  formal systems  constructive mathematics  intuitionistic logic  constructive metamathematics  set theory  proof theory
Index. décimale :	03C Monographie