Documents disponibles écrits par cet auteur

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. ; Monk, J.Donald 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 (eng) 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. ; Monk, J.Donald . - Springer-Verlag, 1981 . - v - 323 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 883) . ISBN : 978-0-387-10881-0 Langues : Anglais (eng) 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

Réservation

Réserver ce document

Exemplaires

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

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

Public ISBD Titre : Tarski symposium Titre original : proceedings of an International Symposium to Honor Alfred Tarski Type de document : texte imprimé Auteurs : Chang, C. C. Eds. ; Addison, J. ; Henkin, L. 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 (eng) Mots-clés : algebra Index. décimale : 00G Tarski symposium = proceedings of an International Symposium to Honor Alfred Tarski [texte imprimé] / Chang, C. C. Eds. ; Addison, J. ; Henkin, L. . - American Mathematical Society, 1974 . - xx - 498 p.. - (Proceedings of Symposia in Pure Mathematics; 25) . ISBN : 978-0-8218-1425-3 Langues : Anglais (eng) Mots-clés : algebra Index. décimale : 00G

Réservation

Réserver ce document

Exemplaires

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

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

Public ISBD Titre : theTheory of models Titre original : proceedings of the 1963 international symposium at Berkeley Type de document : texte imprimé Auteurs : Henkin, L. ; Addison, J. W. ; Tarski, A., Editeur scientifique Editeur : Amsterdam : North-holland publishing company Année de publication : 1965 Collection : Studies in Logic and the Foundations of Mathematics Importance : xv-494 p. Langues : Anglais (eng) 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. ; Addison, J. W. ; Tarski, A., Editeur scientifique . - North-holland publishing company, 1965 . - xv-494 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais (eng) 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

Réservation

Réserver ce document

Exemplaires

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