Cylindric set algebras. Cylindric set algebras and related structures / Henkin, L.

Public ISBD Titre : Cylindric set algebras. Cylindric set algebras and related structures : on cylindric-relativized set algebras Type de document : texte imprimé Auteurs : Henkin, L. ; Nemeti, I. ; Hajnal Andréka ; Tarski, A. ; J. D. Monk Editeur : Springer-Verlag Année de publication : 1981 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 883 Importance : v - 323 p. ISBN/ISSN/EAN : 978-0-387-10881-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory:03C55 Set-theoretic model theory 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G15 Cylindric and polyadic algebras; relation algebras Mots-clés : ultraproducts  relativization  cylindric algebra  cylindric set algebra Index. décimale : LNM Cylindric set algebras. Cylindric set algebras and related structures : on cylindric-relativized set algebras [texte imprimé] / Henkin, L. ; Nemeti, I. ; Hajnal Andréka ; Tarski, A. ; J. D. Monk . - [S.l.] : Springer-Verlag, 1981 . - v - 323 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 883) . ISBN : 978-0-387-10881-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory:03C55 Set-theoretic model theory 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G15 Cylindric and polyadic algebras; relation algebras Mots-clés : ultraproducts  relativization  cylindric algebra  cylindric set algebra Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7616	LNM/883	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Tarski symposium / J. Addison ; Henkin, L. ; Chang, Chen C.

Public ISBD Titre : Tarski symposium Titre original : proceedings of an International Symposium to Honor Alfred Tarski Type de document : texte imprimé Auteurs : J. Addison ; Henkin, L. ; Chang, Chen C., Editeur scientifique Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1974 Collection : Proceedings of Symposia in Pure Mathematics num. 25 Importance : xx - 498 p. ISBN/ISSN/EAN : 978-0-8218-1425-3 Langues : Anglais Mots-clés : algebra Index. décimale : 00G Tarski symposium = proceedings of an International Symposium to Honor Alfred Tarski [texte imprimé] / J. Addison ; Henkin, L. ; Chang, Chen C., Editeur scientifique . - Providence, R.I. : American Mathematical Society, 1974 . - xx - 498 p.. - (Proceedings of Symposia in Pure Mathematics; 25) . ISBN : 978-0-8218-1425-3 Langues : Anglais Mots-clés : algebra Index. décimale : 00G

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
10056	00G01	imprimé / autre	CRDM	00/GENERALITES	Disponible

theTheory of models / Henkin, L. ; J. W. Addison

Public ISBD Titre : theTheory of models Titre original : proceedings of the 1963 international symposium at Berkeley Type de document : texte imprimé Auteurs : Henkin, L. ; J. W. Addison ; Tarski, A., Editeur scientifique Editeur : Amtsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in Logic and the Foundations of Mathematics Importance : xv-494 p. Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. Mots-clés : berkeley, usa  symposium  proceedings  mathematical logic Index. décimale : 03B Publication collective theTheory of models = proceedings of the 1963 international symposium at Berkeley [texte imprimé] / Henkin, L. ; J. W. Addison ; Tarski, A., Editeur scientifique . - Amtsterdam : North-Holland Publishing Company, 1965 . - xv-494 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B25 Proceedings of conferences of miscellaneous specific interest 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. Mots-clés : berkeley, usa  symposium  proceedings  mathematical logic Index. décimale : 03B Publication collective

Exemplaires

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

---

page 1/1