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

Dual tableaux: foundations, methodology, case studies / Ewa Orlowska

Public ISBD Titre : Dual tableaux: foundations, methodology, case studies Type de document : texte imprimé Auteurs : Ewa Orlowska (1935-....), Auteur Editeur : Dordrecht : Springer Netherlands Année de publication : 2011 Collection : Trends in Logic num. 33 Importance : v - 562 p. ISBN/ISSN/EAN : 978-94-007-0005-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 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofs Mots-clés : dual tableaux  algebra of binary relations  relational logic  relational database  relational reasoning  relevant logic  information logic  fuzzy logic  temporal logic  logics of programs Index. décimale : 03C Monographie Dual tableaux: foundations, methodology, case studies [texte imprimé] / Ewa Orlowska (1935-....), Auteur . - Dordrecht : Springer Netherlands, 2011 . - v - 562 p.. - (Trends in Logic; 33) . ISBN : 978-94-007-0005-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 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F07 Structure of proofs Mots-clés : dual tableaux  algebra of binary relations  relational logic  relational database  relational reasoning  relevant logic  information logic  fuzzy logic  temporal logic  logics of programs Index. décimale : 03C Monographie

Exemplaires

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

Logic, computers and sets / Wang, Haiping

Public ISBD Titre : Logic, computers and sets Type de document : texte imprimé Auteurs : Wang, Haiping Editeur : New York, NY : Chelsea publishing company Année de publication : 1970 Importance : x - 651 p. ISBN/ISSN/EAN : 978-0-8284-0245-3 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:03EXX Set theory Mots-clés : philosophical and critical  computer science  general logic  mathematical logic Index. décimale : 03C Monographie Logic, computers and sets [texte imprimé] / Wang, Haiping . - New York, NY : Chelsea publishing company, 1970 . - x - 651 p. ISBN : 978-0-8284-0245-3 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:03EXX Set theory Mots-clés : philosophical and critical  computer science  general logic  mathematical logic Index. décimale : 03C Monographie

Exemplaires

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

---

page 1/1