A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
. CRDM
03/MATHEMATICAL LOGIC AND FOUNDATIONS > Publication collective
Real algebraic geometry / Frédéric Mangolte
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22214 03B23 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible 30209 LAREMA/MAN imprimé / autre Fédération FR 2962 - Angers Angers Ouvrages Disponible Recursion theory
Titre : Recursion theory : its generalisations and applications Type de document : texte imprimé Auteurs : Frank Robert Drake, Editeur scientifique ; Stanley S. Wainer, Editeur scientifique Editeur : Cambridge University Press Année de publication : 1980 Collection : London Mathematical Society Lecture Note Series. num. 45 Importance : 319 p. Format : 23 cm. ISBN/ISSN/EAN : 978-0-521-23543-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. Mots-clés : Recursion theory Proceedings Logic Colloquium Leeds/England Index. décimale : 03B Publication collective Recursion theory : its generalisations and applications [texte imprimé] / Frank Robert Drake, Editeur scientifique ; Stanley S. Wainer, Editeur scientifique . - [S.l.] : Cambridge University Press, 1980 . - 319 p. ; 23 cm.. - (London Mathematical Society Lecture Note Series.; 45) .
ISBN : 978-0-521-23543-3
Langues : Anglais
Catégories : 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. Mots-clés : Recursion theory Proceedings Logic Colloquium Leeds/England Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21554 03B22 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Selecta mathematica. II / Jacobs, K.
Titre : Selecta mathematica. II Type de document : texte imprimé Auteurs : Jacobs, K. Editeur : Berlin-Heidelberg-New York : Springer Verlag Année de publication : 1970 Collection : Heidelberger Taschenbücher num. 67 Importance : .XI - 185 p. Langues : Allemand Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notionsIndex. décimale : 03B Publication collective Selecta mathematica. II [texte imprimé] / Jacobs, K. . - Berlin-Heidelberg-New York : Springer Verlag, 1970 . - .XI - 185 p.. - (Heidelberger Taschenbücher; 67) .
Langues : Allemand
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content
03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D10 Turing machines and related notionsIndex. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13934 03B01 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Structures in mathematical theories / Ibarra, A. Eds. ; Echeverria, J. ; Diaz, A.
Titre : Structures in mathematical theories Titre original : reports from the international symposium, held in San Sebastian, September 25-29, 1990 Type de document : texte imprimé Auteurs : Ibarra, A. Eds. ; Echeverria, J. ; Diaz, A. Editeur : Bilbao : Universidad del Pais Vasco Euskal Herriko Unibertsitatea Année de publication : 1990 Importance : 492 p. Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.
03-XX Mathematical logic and foundations:03A05 Philosophical and criticalMots-clés : mathematics and reality empirical theories philosophy of science symposium report mathematical theories structures san sebastian (spain) Index. décimale : 03B Publication collective Structures in mathematical theories = reports from the international symposium, held in San Sebastian, September 25-29, 1990 [texte imprimé] / Ibarra, A. Eds. ; Echeverria, J. ; Diaz, A. . - Bilbao : Universidad del Pais Vasco Euskal Herriko Unibertsitatea, 1990 . - 492 p.
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.
03-XX Mathematical logic and foundations:03A05 Philosophical and criticalMots-clés : mathematics and reality empirical theories philosophy of science symposium report mathematical theories structures san sebastian (spain) Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9258 03B14 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Surveys in set theory / A. R. D. Mathias
Titre : Surveys in set theory Type de document : texte imprimé Auteurs : A. R. D. Mathias, Editeur scientifique Editeur : Cambridge University Press Année de publication : 1983 Collection : London Mathematical Society Lecture Note Series. num. 87 Importance : 247 p. Format : 23 cm ISBN/ISSN/EAN : 978-0-521-27733-4 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : Set theory Index. décimale : 03B Publication collective Résumé : Surveys in set theory [texte imprimé] / A. R. D. Mathias, Editeur scientifique . - [S.l.] : Cambridge University Press, 1983 . - 247 p. ; 23 cm. - (London Mathematical Society Lecture Note Series.; 87) .
ISBN : 978-0-521-27733-4
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : Set theory Index. décimale : 03B Publication collective Résumé : Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22217 03B25 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Concept and the role of the model in mathematics and natural and social siences / Vuysje, D. Eds. ; Kazemier, B. H.
Titre : the Concept and the role of the model in mathematics and natural and social siences Titre original : procedings of the Colloquim of the International Union of History and Philosophy of sciences, Utrecht, January 1960 Type de document : texte imprimé Auteurs : Vuysje, D. Eds. ; Kazemier, B. H. Editeur : Dordrecht : D. Reidel Publishing company Année de publication : 1961 Collection : Synthese Library Importance : 194 p. Langues : Anglais Index. décimale : 03B Publication collective the Concept and the role of the model in mathematics and natural and social siences = procedings of the Colloquim of the International Union of History and Philosophy of sciences, Utrecht, January 1960 [texte imprimé] / Vuysje, D. Eds. ; Kazemier, B. H. . - Dordrecht : D. Reidel Publishing company, 1961 . - 194 p.. - (Synthese Library) .
Langues : Anglais
Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9251 03B13 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Metamathematics of algebraic systems / Mal'cev, Anatolii I.
Titre : the Metamathematics of algebraic systems : collected papers : 1936-1967 Type de document : texte imprimé Auteurs : Mal'cev, Anatolii I. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1971 Collection : Studies in Logic and the Foundations of Mathematics num. 66 Importance : xviii - 494 p. Langues : Anglais Langues originales : Russe Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B50 Volumes of selected translations
03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03CXX Model theoryMots-clés : model theory mathematical logic Index. décimale : 03B Publication collective the Metamathematics of algebraic systems : collected papers : 1936-1967 [texte imprimé] / Mal'cev, Anatolii I. . - Amtsterdam : North-Holland Publishing Company, 1971 . - xviii - 494 p.. - (Studies in Logic and the Foundations of Mathematics; 66) .
Langues : Anglais Langues originales : Russe
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B50 Volumes of selected translations
03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles)
03-XX Mathematical logic and foundations:03CXX Model theoryMots-clés : model theory mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8114 03B05 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible the Problem of inductive logic / Lakatos, I. Ed.
Titre : the Problem of inductive logic Titre original : proceedings of the international colloquium in the philosophy of science, London 1965. Vol. 2 Type de document : texte imprimé Auteurs : Lakatos, I. Ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1968 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 417 p. Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest Mots-clés : london general mathematics proceedings inductive logic Index. décimale : 03B Publication collective the Problem of inductive logic = proceedings of the international colloquium in the philosophy of science, London 1965. Vol. 2 [texte imprimé] / Lakatos, I. Ed. . - Amtsterdam : North-Holland Publishing Company, 1968 . - viii - 417 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest Mots-clés : london general mathematics proceedings inductive logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9226 03B07 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible theTheory of models / Henkin, L. ; J. W. Addison
Titre : theTheory of models Titre original : proceedings of the 1963 international symposium at Berkeley Type de document : texte imprimé Auteurs : Henkin, L. ; J. W. Addison ; Tarski, A., Editeur scientifique Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in Logic and the Foundations of Mathematics Importance : xv-494 p. Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : berkeley, usa symposium proceedings mathematical logic Index. décimale : 03B Publication collective theTheory of models = proceedings of the 1963 international symposium at Berkeley [texte imprimé] / Henkin, L. ; J. W. Addison ; Tarski, A., Editeur scientifique . - Amtsterdam : North-Holland Publishing Company, 1965 . - xv-494 p.. - (Studies in Logic and the Foundations of Mathematics) .
Langues : Anglais
Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest
03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc.Mots-clés : berkeley, usa symposium proceedings mathematical logic Index. décimale : 03B Publication collective Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4326 03B02 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible