Theory of relations / Fraïssé, Roland

Public ISBD Titre : Theory of relations : with an appendix by Norbert Sauer Type de document : texte imprimé Auteurs : Fraïssé, Roland ; Gabbay, D.M. ; Artemov, S. ; S. Abramsky ; Richard A. Shore, Auteur ; P. Clote, Traducteur Mention d'édition : Revised ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 2000 Collection : Studies in Logic and the Foundations of Mathematics num. 145 Importance : 451 p. ISBN/ISSN/EAN : 978-0-444-50542-2 Langues : Anglais Langues originales : Français 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:03E05 Other combinatorial set theory 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles) Mots-clés : age  relational systems  posets  trees  chains  ordered sets  cofinality  order relations  partition calculus  order theory  axiomatic set theory Index. décimale : IRIN Theory of relations : with an appendix by Norbert Sauer [texte imprimé] / Fraïssé, Roland ; Gabbay, D.M. ; Artemov, S. ; S. Abramsky ; Richard A. Shore, Auteur ; P. Clote, Traducteur  . -  Revised ed. . - Amtsterdam : North-Holland Publishing Company, 2000 . - 451 p.. - (Studies in Logic and the Foundations of Mathematics; 145) . ISBN : 978-0-444-50542-2 Langues : Anglais Langues originales : Français 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:03E05 Other combinatorial set theory 06-XX Order, lattices, ordered algebraic structures :06-01 Instructional exposition (textbooks, tutorial papers, etc.) 06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles) Mots-clés : age  relational systems  posets  trees  chains  ordered sets  cofinality  order relations  partition calculus  order theory  axiomatic set theory Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13364	IRIN/03C04	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

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

the Foundations of intuitionistic mathematics / Kleene, S. C.

Public ISBD Titre : the Foundations of intuitionistic mathematics : especially in relation to recursive functions Type de document : texte imprimé Auteurs : Kleene, S. C. ; R. E. Vesley Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 206 p. Langues : Anglais Mots-clés : mathematical logic  intuitionistic mathematics Index. décimale : 03C Monographie the Foundations of intuitionistic mathematics : especially in relation to recursive functions [texte imprimé] / Kleene, S. C. ; R. E. Vesley . - Amtsterdam : North-Holland Publishing Company, 1965 . - viii - 206 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais Mots-clés : mathematical logic  intuitionistic mathematics Index. décimale : 03C Monographie

Exemplaires

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

Intuitionism / Heyting, A.

Public ISBD Titre : Intuitionism : an introduction Type de document : texte imprimé Auteurs : Heyting, A. Mention d'édition : 2nd rev. ed. Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1966 Collection : Studies in Logic and the Foundations of Mathematics Importance : viii - 136 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:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematics Mots-clés : logic mathematique  intuitionism Index. décimale : 03C Monographie Intuitionism : an introduction [texte imprimé] / Heyting, A.  . -  2nd rev. ed. . - Amtsterdam : North-Holland Publishing Company, 1966 . - viii - 136 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:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematics Mots-clés : logic mathematique  intuitionism Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9202	03C43	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

the Problem of inductive logic / Lakatos, I. Ed.

Permalink

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

Permalink

the Metamathematics of algebraic systems / Mal'cev, Anatolii I.

Permalink

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

Permalink

Computing equilibria : how and why / Los, J. ; M. W. Los

Permalink

Non-standard analysis / Robinson, A.

Permalink

Undecidable theories / Tarski, A.

Permalink

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

Permalink

Sentences undecidable in formalized arithmetic / Mostowskii, A.

Permalink

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

Permalink

---

page /2