4 résultat(s) recherche sur le mot-clé 'algebraic logic'

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

Semigroups underlying first-order logic / William Craig

Public ISBD Titre : Semigroups underlying first-order logic Type de document : texte imprimé Auteurs : William Craig, Auteur Editeur : Providence, R.I. : American Mathematical Society Année de publication : 2006 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 866 Importance : 263 p. ISBN/ISSN/EAN : 978-0-8218-4149-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G25 Other algebras related to logic 06-XX Order, lattices, ordered algebraic structures :06FXX Ordered structures:06F05 Ordered semigroups and monoids 20-XX Group theory and generalizations:20MXX Semigroups:20M05 Free semigroups, generators and relations, word problems Mots-clés : algebraic logic Semigroups underlying first-order logic [texte imprimé] / William Craig, Auteur . - Providence, R.I. : American Mathematical Society, 2006 . - 263 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 866) . ISBN : 978-0-8218-4149-5 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G25 Other algebras related to logic 06-XX Order, lattices, ordered algebraic structures :06FXX Ordered structures:06F05 Ordered semigroups and monoids 20-XX Group theory and generalizations:20MXX Semigroups:20M05 Free semigroups, generators and relations, word problems Mots-clés : algebraic logic

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19612	Mem/866	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Models and ultraproducts / John Lane Bell

Public ISBD Titre : Models and ultraproducts : an introduction Type de document : texte imprimé Auteurs : John Lane Bell ; Slomson, A. B. Editeur : Amsterdam : North-holland publishing company Année de publication : 1969 Importance : ix - 322 p. Langues : Anglais Mots-clés : model theory  algebraic logic Index. décimale : 03C Monographie Models and ultraproducts : an introduction [texte imprimé] / John Lane Bell ; Slomson, A. B. . - Amsterdam : North-holland publishing company, 1969 . - ix - 322 p. Langues : Anglais Mots-clés : model theory  algebraic logic Index. décimale : 03C Monographie

Exemplaires

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

Set theory and the continuum hypothesis / Cohen, Paul J.

Public ISBD Titre : Set theory and the continuum hypothesis Type de document : texte imprimé Auteurs : Cohen, Paul J. Editeur : New York, NY : W. A. Benjamin, Inc Année de publication : 1966 Importance : 154 p. Langues : Anglais Mots-clés : model theory  algebraic logic Index. décimale : 03C Monographie Set theory and the continuum hypothesis [texte imprimé] / Cohen, Paul J. . - New York, NY : W. A. Benjamin, Inc, 1966 . - 154 p. Langues : Anglais Mots-clés : model theory  algebraic logic Index. décimale : 03C Monographie

Exemplaires

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