101 résultat(s) recherche sur le mot-clé 'mathematical logic'

Mathematical logic / J. D. Monk

Public ISBD Titre : Mathematical logic Type de document : texte imprimé Auteurs : J. D. Monk Editeur : New York, NY : Springer Année de publication : 1976 Collection : Graduate Texts in Mathematics num. 37 Importance : x - 531 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory Mots-clés : general algebraic systems  recursion theory  mathematical logic Index. décimale : 03C Monographie Mathematical logic [texte imprimé] / J. D. Monk . - New York, NY : Springer, 1976 . - x - 531 p.. - (Graduate Texts in Mathematics; 37) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory Mots-clés : general algebraic systems  recursion theory  mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

Mathematical logic and foundations of set theory

Public ISBD Titre : Mathematical logic and foundations of set theory Titre original : proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 Type de document : texte imprimé Auteurs : Y. Bar-Hillel, Editeur scientifique Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1970 Collection : Studies in Logic and the Foundations of Mathematics Importance : 145 p. ISBN/ISSN/EAN : 720422558 Langues : Anglais Mots-clés : jerusalem (israel)  proceedings  set theory  mathematical logic Index. décimale : 03B Publication collective Mathematical logic and foundations of set theory = proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 [texte imprimé] / Y. Bar-Hillel, Editeur scientifique . - Amtsterdam : North-Holland Publishing Company, 1970 . - 145 p.. - (Studies in Logic and the Foundations of Mathematics) . ISSN : 720422558 Langues : Anglais Mots-clés : jerusalem (israel)  proceedings  set theory  mathematical logic Index. décimale : 03B Publication collective

Exemplaires

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

Mathematical logic and hilbert's e-symbol / Leisenring, A. C.

Public ISBD Titre : Mathematical logic and hilbert's e-symbol Type de document : texte imprimé Auteurs : Leisenring, A. C. Editeur : New York, NY : Gordon and Breach Science Publishers Année de publication : 1969 Importance : ix - 142 p. Langues : Anglais Mots-clés : mathematical logic Index. décimale : 03C Monographie Mathematical logic and hilbert's e-symbol [texte imprimé] / Leisenring, A. C. . - New York, NY : Gordon and Breach Science Publishers, 1969 . - ix - 142 p. Langues : Anglais Mots-clés : mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

Mathematical logic and the foundations of mathematics / G. T. Kneebone

Public ISBD Titre : Mathematical logic and the foundations of mathematics : an introductory survey Type de document : texte imprimé Auteurs : G. T. Kneebone Editeur : London : D. Van Nostrand Company Limited Année de publication : 1965 Importance : xiv - 435 p. Langues : Anglais Mots-clés : foundations of mathematics  philosophy  mathematical logic Index. décimale : 03C Monographie Mathematical logic and the foundations of mathematics : an introductory survey [texte imprimé] / G. T. Kneebone . - London : D. Van Nostrand Company Limited, 1965 . - xiv - 435 p. Langues : Anglais Mots-clés : foundations of mathematics  philosophy  mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

Mathematical logic / R. Eds. Chuaqui ; Da Costa, Newton C. A. ; Arruda, Ayda I.

Public ISBD Titre : Mathematical logic Titre original : proceedings of the first Brazilian conference on mathematical logic, held at the State University of Campinas, Brazil, from 4 to 6 July 1977 Type de document : texte imprimé Auteurs : R. Eds. Chuaqui ; Da Costa, Newton C. A. ; Arruda, Ayda I. Editeur : New Yok : Marcel Dekker, Inc Année de publication : 1978 Collection : Lecture Notes in Pure and Applied Mathematics num. 39 Importance : xii - 303 p. ISBN/ISSN/EAN : 978-0-8247-6772-3 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 : campinas, brasil  conference  proceedings  mathematical logic Index. décimale : 03B Publication collective Mathematical logic = proceedings of the first Brazilian conference on mathematical logic, held at the State University of Campinas, Brazil, from 4 to 6 July 1977 [texte imprimé] / R. Eds. Chuaqui ; Da Costa, Newton C. A. ; Arruda, Ayda I. . - New Yok : Marcel Dekker, Inc, 1978 . - xii - 303 p.. - (Lecture Notes in Pure and Applied Mathematics; 39) . ISBN : 978-0-8247-6772-3 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 : campinas, brasil  conference  proceedings  mathematical logic Index. décimale : 03B Publication collective

Exemplaires

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

Completeness, compactnss, and undecidability / Manaster, Alfred B.

Permalink

a Course in mathematical logic / Yuri Ivanovich Manin

Permalink

A course in mathematical logic for mathematicians / Yuri Ivanovich Manin

Permalink

Elements of mathematical logic / Lukasiewicz, J.

Permalink

Elements of mathematical logic / Novikov, P. S.

Permalink

Introduction to mathematical logic / Mendelson, E.

Permalink

Introduction to mathematical logic. Vol. I / Church, A.

Permalink

the Development of mathematical logic / Nidditch, P. H.

Permalink

Algebraic logic / Paul R. Halmos

Permalink

Axiomatic set theory / Jech, Thomas J.

Permalink

Axiomatic set theory / Dana S. Scott

Permalink

Graph structure and monadic second-order logic / Bruno Courcelle

Permalink

Handbook of practical logic and automated reasoning / John Harrison

Permalink

Intensional and higher-order modal logic / Gallin, D.

Permalink

Introduction to combinatory logic / Hindley, J. Roger

Permalink