A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
Affiner la recherche Interroger des sources externes
Abelian group theory / R. GÖBEL (1983)
Titre : Abelian group theory : Proceedings of the Conference held at the University of Hawaii, Honolulu, USA, December 28, 1982 - January 4, 1983 Type de document : collection Auteurs : R. GÖBEL, Auteur ; L. LADY, Auteur ; A. MADER, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1983 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1006 Importance : XVI-771 p. ISBN/ISSN/EAN : 978-3-540-12335-4 Langues : Anglais Catégories : 03Cxx
03Exx
03FXX
12AXX
12BXX
12FXX
13AXX
13Cxx
13Dxx
13FXX
13GXX
13Hxx
13JXX
16A46
18EXX
18Fxx
18Gxx
20-04
20Kxx
22BXXMots-clés : groupe abélien Note de contenu : références Abelian group theory : Proceedings of the Conference held at the University of Hawaii, Honolulu, USA, December 28, 1982 - January 4, 1983 [collection] / R. GÖBEL, Auteur ; L. LADY, Auteur ; A. MADER, Auteur . - Berlin : Springer-Verlag, 1983 . - XVI-771 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1006) .
ISBN : 978-3-540-12335-4
Langues : Anglais
Catégories : 03Cxx
03Exx
03FXX
12AXX
12BXX
12FXX
13AXX
13Cxx
13Dxx
13FXX
13GXX
13Hxx
13JXX
16A46
18EXX
18Fxx
18Gxx
20-04
20Kxx
22BXXMots-clés : groupe abélien Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1312 LN 1006 Livre Recherche Salle Disponible Beweistheorie / Karl SCHÜTTE (1960)
Titre : Beweistheorie Type de document : texte imprimé Auteurs : Karl SCHÜTTE, Auteur Editeur : New York : Springer-Verlag Année de publication : 1960 Collection : Grundlehren der mathematischen wissenschaften num. 103 Importance : X-355 p. Langues : Allemand Catégories : 03FXX
68C01Mots-clés : théorie de la démonstration théorie de la preuve Beweistheorie [texte imprimé] / Karl SCHÜTTE, Auteur . - New York : Springer-Verlag, 1960 . - X-355 p.. - (Grundlehren der mathematischen wissenschaften; 103) .
Langues : Allemand
Catégories : 03FXX
68C01Mots-clés : théorie de la démonstration théorie de la preuve Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 86 SCH/02/1425 Livre Recherche Salle Disponible Computation and proof theory / M.M. Richter (1984)
Titre : Computation and proof theory : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part II Type de document : séminaire Auteurs : M.M. Richter, Auteur ; E. Börger, Auteur ; W. Oberschelp, Auteur ; B. Schinzel, Auteur ; W. Thomas, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1984 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1104 Importance : VIII-475 p. ISBN/ISSN/EAN : 978-3-540-13901-0 Langues : Anglais Catégories : 03DXX
03FXX
68CXXMots-clés : logique symbolique informatique Note de contenu : références Computation and proof theory : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part II [séminaire] / M.M. Richter, Auteur ; E. Börger, Auteur ; W. Oberschelp, Auteur ; B. Schinzel, Auteur ; W. Thomas, Auteur . - Berlin : Springer-Verlag, 1984 . - VIII-475 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1104) .
ISBN : 978-3-540-13901-0
Langues : Anglais
Catégories : 03DXX
03FXX
68CXXMots-clés : logique symbolique informatique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2307 LN 1104 Livre Recherche Salle Disponible Constructive real numbers and constructive function spaces / N. A. ŠANIN (1968)
Titre : Constructive real numbers and constructive function spaces Type de document : texte imprimé Auteurs : N. A. ŠANIN, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1968 Collection : Translations of mathematical monographs, ISSN 0065-9282 num. 21 Importance : IV-325 p. Langues : Anglais Catégories : 03FXX Mots-clés : nombre réel constructif espace de fonctions constructives Note de contenu : bibliogr. Constructive real numbers and constructive function spaces [texte imprimé] / N. A. ŠANIN, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1968 . - IV-325 p.. - (Translations of mathematical monographs, ISSN 0065-9282; 21) .
Langues : Anglais
Catégories : 03FXX Mots-clés : nombre réel constructif espace de fonctions constructives Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4707 SAN/02/2001-XXI Livre Recherche Salle Disponible Foundations of constructive analysis / Errett BISHOP (Cop. 1967)
Titre : Foundations of constructive analysis Type de document : texte imprimé Auteurs : Errett BISHOP, Auteur Editeur : New York : McGraw-Hill Book Company Année de publication : Cop. 1967 Collection : McGraw-Hill series in higher mathematics Importance : XIII-370 p. Langues : Anglais Catégories : 03FXX Mots-clés : analyse constructive Note de contenu : index, références Foundations of constructive analysis [texte imprimé] / Errett BISHOP, Auteur . - New York : McGraw-Hill Book Company, Cop. 1967 . - XIII-370 p.. - (McGraw-Hill series in higher mathematics) .
Langues : Anglais
Catégories : 03FXX Mots-clés : analyse constructive Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4943 BIS/46/3298 Livre Recherche Salle Disponible Logic symposia Hakone 1979, 1980 / G. H. MÜLLER (1981)
PermalinkMathematical logic and applications / J. Shinoda (1989)
PermalinkProof theory / Karl SCHÜTTE (1977)
PermalinkProof theory / Wolfram Pohlers (1989)
PermalinkPermalinkThe metamathematics of algebraic systems / Anatolii Ivanovi? MAL'CEV (1971)
Permalink