an Algebraic approach to non-classical logics / Rasiowa, H.

Public ISBD Titre : an Algebraic approach to non-classical logics Type de document : texte imprimé Auteurs : Rasiowa, H. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1974 Collection : Studies in Logic and The Foundations of Mathematics num. 78 Importance : xv - 403 p. ISBN/ISSN/EAN : 978-0-7204-2264-1 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 03-XX Mathematical logic and foundations:03GXX Algebraic logic Mots-clés : algebraic logic  mathematical logic Index. décimale : 03C Monographie an Algebraic approach to non-classical logics [texte imprimé] / Rasiowa, H. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1974 . - xv - 403 p.. - (Studies in Logic and The Foundations of Mathematics; 78) . ISBN : 978-0-7204-2264-1 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 03-XX Mathematical logic and foundations:03GXX Algebraic logic Mots-clés : algebraic logic  mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

Generalized recursion theory / Hinman, P. G. Eds. ; Fenstad, J. E.

Public ISBD Titre : Generalized recursion theory Titre original : proceedings of the 1972 Oslo symposium Type de document : texte imprimé Auteurs : Hinman, P. G. Eds. ; Fenstad, J. E. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1974 Collection : Studies in Logic and The Foundations of Mathematics num. 79 Importance : viii - 456 p. ISBN/ISSN/EAN : 978-0-7204-2276-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. 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory Mots-clés : oslo  proceedings  mathematical logic  recursion theory Index. décimale : 03B Publication collective Generalized recursion theory = proceedings of the 1972 Oslo symposium [texte imprimé] / Hinman, P. G. Eds. ; Fenstad, J. E. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1974 . - viii - 456 p.. - (Studies in Logic and The Foundations of Mathematics; 79) . ISBN : 978-0-7204-2276-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. 03-XX Mathematical logic and foundations:03DXX Computability and recursion theory Mots-clés : oslo  proceedings  mathematical logic  recursion theory Index. décimale : 03B Publication collective

Exemplaires

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

Logic in algebraic form / Craig, Walter

Public ISBD Titre : Logic in algebraic form : three languages and theories Type de document : texte imprimé Auteurs : Craig, Walter Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1974 Collection : Studies in Logic and The Foundations of Mathematics num. 72 Importance : viii - 204 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G15 Cylindric and polyadic algebras; relation algebras Mots-clés : cylindric and polyadic algebras  mathematical logic Index. décimale : 03C Monographie Logic in algebraic form : three languages and theories [texte imprimé] / Craig, Walter . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1974 . - viii - 204 p.. - (Studies in Logic and The Foundations of Mathematics; 72) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G15 Cylindric and polyadic algebras; relation algebras Mots-clés : cylindric and polyadic algebras  mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

Proof theory / Takeuti, G.

Public ISBD Titre : Proof theory Type de document : texte imprimé Auteurs : Takeuti, G. Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1975 Collection : Studies in Logic and The Foundations of Mathematics num. 81 Importance : vii - 372 p. ISBN/ISSN/EAN : 978-0-7204-2277-1 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:03F99 None of the above, but in this section Mots-clés : mathematical logic  proof theory Index. décimale : 03C Monographie Proof theory [texte imprimé] / Takeuti, G. . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1975 . - vii - 372 p.. - (Studies in Logic and The Foundations of Mathematics; 81) . ISBN : 978-0-7204-2277-1 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:03F99 None of the above, but in this section Mots-clés : mathematical logic  proof theory Index. décimale : 03C Monographie

Exemplaires

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

Set theory / Frank R. Drake

Public ISBD Titre : Set theory : an introduction to large cardinals Type de document : texte imprimé Auteurs : Frank R. Drake Editeur : Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc Année de publication : 1974 Collection : Studies in Logic and The Foundations of Mathematics num. 76 Importance : xii - 351 p. ISBN/ISSN/EAN : 978-0-7204-2279-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E25 Axiom of choice and related propositions 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results 03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinals Mots-clés : mathematical logic  large cardinals  set theory Index. décimale : 03C Monographie Set theory : an introduction to large cardinals [texte imprimé] / Frank R. Drake . - Amsterdam : North-Holland Publishing Company - American Elsevier Publishing Company, Inc, 1974 . - xii - 351 p.. - (Studies in Logic and The Foundations of Mathematics; 76) . ISBN : 978-0-7204-2279-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E25 Axiom of choice and related propositions 03-XX Mathematical logic and foundations:03EXX Set theory:03E35 Consistency and independence results 03-XX Mathematical logic and foundations:03EXX Set theory:03E55 Large cardinals Mots-clés : mathematical logic  large cardinals  set theory Index. décimale : 03C Monographie

Exemplaires

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

the Axiom of choice / Jech, Thomas J.

Permalink

---

page 1/1