die Approximationseigenschaft lokaler Ringe / Kurke, H.

Public ISBD Titre : die Approximationseigenschaft lokaler Ringe Type de document : texte imprimé Auteurs : Kurke, H. ; T. Mostowski ; Roczen, M. ; Popescu, D. ; Pfister, Gerhard Editeur : Springer-Verlag Année de publication : 1978 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 634 Importance : iv - 204 p. ISBN/ISSN/EAN : 978-0-387-08656-9 Langues : Allemand Catégories : 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems 13-XX Commutative rings and algebras:13HXX Local rings and semilocal rings:13H99 None of the above, but in this section 13-XX Commutative rings and algebras:13JXX Topological rings and modules :13J15 Henselian rings Mots-clés : commutative rings and algebras  henselian rings  local rings Index. décimale : LNM die Approximationseigenschaft lokaler Ringe [texte imprimé] / Kurke, H. ; T. Mostowski ; Roczen, M. ; Popescu, D. ; Pfister, Gerhard . - [S.l.] : Springer-Verlag, 1978 . - iv - 204 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 634) . ISBN : 978-0-387-08656-9 Langues : Allemand Catégories : 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems 13-XX Commutative rings and algebras:13HXX Local rings and semilocal rings:13H99 None of the above, but in this section 13-XX Commutative rings and algebras:13JXX Topological rings and modules :13J15 Henselian rings Mots-clés : commutative rings and algebras  henselian rings  local rings Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
6515	LNM/634	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Foundations of constructive mathematics / Beeson, Michael J.

Public ISBD 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

Exemplaires

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

Introduction to metamathematics / Kleene, Stephen C.

Public ISBD Titre : Introduction to metamathematics Type de document : texte imprimé Auteurs : Kleene, Stephen C. Editeur : Amsterdam : North-Holland Publishing Co.; Groningen: P. Noordhoff N. V. Année de publication : 1967 Collection : Bibliotheca Mathematica num. 1 Importance : x - 550 p. ISBN/ISSN/EAN : 978-0-7204-2103-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems Mots-clés : recursive functions  mathematical logic  philosophy and foundations of mathematics Index. décimale : 03C Monographie Introduction to metamathematics [texte imprimé] / Kleene, Stephen C. . - Amsterdam : North-Holland Publishing Co.; Groningen: P. Noordhoff N. V., 1967 . - x - 550 p.. - (Bibliotheca Mathematica; 1) . ISBN : 978-0-7204-2103-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D20 Recursive functions and relations, subrecursive hierarchies 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems Mots-clés : recursive functions  mathematical logic  philosophy and foundations of mathematics Index. décimale : 03C Monographie

Exemplaires

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

---

page 1/1