A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03FXX
Affiner la recherche Interroger des sources externes
Abelian group theory (1983) / R. GÖBEL
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 (eng) 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 . - Springer-Verlag, 1983 . - XVI-771 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1006) .
ISBN : 978-3-540-12335-4
Langues : Anglais (eng)
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 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 1312 LN 1006 Livre Recherche Salle Disponible Beweistheorie (1960) / Karl SCHÜTTE
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 (ger) Catégories : 03FXX
68C01Mots-clés : théorie de la démonstration théorie de la preuve Beweistheorie [texte imprimé] / Karl SCHÜTTE, Auteur . - Springer-Verlag, 1960 . - X-355 p.. - (Grundlehren der mathematischen wissenschaften; 103) .
Langues : Allemand (ger)
Catégories : 03FXX
68C01Mots-clés : théorie de la démonstration théorie de la preuve Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 86 SCH/02/1425 Livre Recherche Salle Disponible Computation and proof theory (1984) / M.M. Richter
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 (eng) 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 . - Springer-Verlag, 1984 . - VIII-475 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1104) .
ISBN : 978-3-540-13901-0
Langues : Anglais (eng)
Catégories : 03DXX
03FXX
68CXXMots-clés : logique symbolique informatique Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2307 LN 1104 Livre Recherche Salle Disponible Constructive real numbers and constructive function spaces (1968) / N. A. ŠANIN
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 (eng) 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 . - American Mathematical Society, 1968 . - IV-325 p.. - (Translations of mathematical monographs, ISSN 0065-9282; 21) .
Langues : Anglais (eng)
Catégories : 03FXX Mots-clés : nombre réel constructif espace de fonctions constructives Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4707 SAN/02/2001-XXI Livre Recherche Salle Disponible Foundations of constructive analysis (Cop. 1967) / Errett BISHOP
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 (eng) Catégories : 03FXX Mots-clés : analyse constructive Note de contenu : index, références Foundations of constructive analysis [texte imprimé] / Errett BISHOP, Auteur . - McGraw-Hill Book Company, Cop. 1967 . - XIII-370 p.. - (McGraw-Hill series in higher mathematics) .
Langues : Anglais (eng)
Catégories : 03FXX Mots-clés : analyse constructive Note de contenu : index, références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4943 BIS/46/3298 Livre Recherche Salle Disponible Logic symposia Hakone 1979, 1980 (1981) / G. H. MÜLLER
PermalinkMathematical logic and applications (1989) / J. Shinoda
PermalinkProof theory (1977) / Karl SCHÜTTE
PermalinkProof theory (1989) / Wolfram Pohlers
PermalinkStudies in constructive mathematics and mathematical logic. Part I (1969) / A.O. Ed. Slisenko
PermalinkThe metamathematics of algebraic systems (1971) / Anatolii Ivanovi? MAL'CEV
Permalink