Aristotle's modal syllogisms / McCall, S.

Public ISBD Titre : Aristotle's modal syllogisms Type de document : texte imprimé Auteurs : McCall, S. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1963 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 100 p. Langues : Anglais Mots-clés : mathematical logic  modal syllogisms Index. décimale : 03C Monographie Aristotle's modal syllogisms [texte imprimé] / McCall, S. . - Amtsterdam : North-Holland Publishing Company, 1963 . - viii - 100 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais Mots-clés : mathematical logic  modal syllogisms Index. décimale : 03C Monographie

Exemplaires

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

Axiomatic set theory / P. Bernays

Public ISBD Titre : Axiomatic set theory : with a historical introduction by Abraham A. Fraenkel Type de document : texte imprimé Auteurs : P. Bernays ; Abraham A. Fraenkel, Préfacier, etc. Mention d'édition : 2nd ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1968 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 226 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:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : mathematical logic  set theory Index. décimale : 03C Monographie Axiomatic set theory : with a historical introduction by Abraham A. Fraenkel [texte imprimé] / P. Bernays ; Abraham A. Fraenkel, Préfacier, etc.  . -  2nd ed. . - Amtsterdam : North-Holland Publishing Company, 1968 . - viii - 226 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03EXX Set theory Mots-clés : mathematical logic  set theory Index. décimale : 03C Monographie

Exemplaires

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

Combinatory logic. Vol. I / Curry, Haskell B.

Public ISBD Titre : Combinatory logic. Vol. I Type de document : texte imprimé Auteurs : Curry, Haskell B. ; Feys, R. Graig, W. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1958 Collection : Studies in Logic and the Foundations of Mathematics Importance : xvi - 417 p. Langues : Anglais Mots-clés : foundations of mathematics  philosophy Index. décimale : 03C Monographie Combinatory logic. Vol. I [texte imprimé] / Curry, Haskell B. ; Feys, R. Graig, W. . - Amtsterdam : North-Holland Publishing Company, 1958 . - xvi - 417 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais Mots-clés : foundations of mathematics  philosophy Index. décimale : 03C Monographie

Exemplaires

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

Combinatory logic. Vol. II / Curry, Haskell B.

Public ISBD Titre : Combinatory logic. Vol. II Type de document : texte imprimé Auteurs : Curry, Haskell B. ; Seldin, Jonathan P. ; Hindley, J. Roger Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1972 Collection : Studies in Logic and the Foundations of Mathematics num. 65 Importance : xv - 520 p. ISBN/ISSN/EAN : 978-0-7204-2208-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this section Mots-clés : combinatory logic Index. décimale : 03C Monographie Combinatory logic. Vol. II [texte imprimé] / Curry, Haskell B. ; Seldin, Jonathan P. ; Hindley, J. Roger . - Amtsterdam : North-Holland Publishing Company, 1972 . - xv - 520 p.. - (Studies in Logic and the Foundations of Mathematics; 65) . ISBN : 978-0-7204-2208-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory:03D99 None of the above, but in this section Mots-clés : combinatory logic Index. décimale : 03C Monographie

Exemplaires

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

Constructible sets with applications / Mostowski, A.

Public ISBD Titre : Constructible sets with applications Type de document : texte imprimé Auteurs : Mostowski, A. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1969 Collection : Studies in Logic and the Foundations of Mathematics Importance : ix - 269 p. Langues : Anglais Mots-clés : set theory Index. décimale : 03C Monographie Constructible sets with applications [texte imprimé] / Mostowski, A. . - Amtsterdam : North-Holland Publishing Company, 1969 . - ix - 269 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais Mots-clés : set theory Index. décimale : 03C Monographie

Exemplaires

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

Contributions to non-standard analysis / Robinson, A. ; W. A. J. Luxemburg

Permalink

Equivalents of the axiom of choice / Rubin, H.

Permalink

Introduction to model theory and to the metamathematics of algebra / Robinson, A.

Permalink

Intuitionism / Heyting, A.

Permalink

Languages with expressions of infinite length / Carol R. Karp

Permalink

Mathematical interpretation of formal systems / Robinson, A. ; Kreisel, G. ; Hasenjaeger, G. ; Skolem, Th.

Permalink

Mathematical logic and foundations of set theory

Permalink

Non-standard analysis / Robinson, A.

Permalink

Ordinal algebras / Tarski, A.

Permalink

Problems in the philosophy of mathematics / Lakatos, I. Ed.

Permalink

---

page /2