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

Introduction à la logique / Tarski, A.

Public ISBD Titre : Introduction à la logique Type de document : texte imprimé Auteurs : Tarski, A. Editeur : paris : Gauthiers-Villars / E. nauwelaerts Année de publication : 1960 Collection : Collection de logique mathématique série A num. 16 Importance : xv - 224 p. Langues : Français (fre) Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : mathematical logic  general logic Index. décimale : 03C Monographie Introduction à la logique [texte imprimé] / Tarski, A. . - Gauthiers-Villars / E. nauwelaerts, 1960 . - xv - 224 p.. - (Collection de logique mathématique série A; 16) . Langues : Français (fre) Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : mathematical logic  general logic Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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

Ordinal algebras / Tarski, A.

Public ISBD Titre : Ordinal algebras Type de document : texte imprimé Auteurs : Tarski, A. ; Jonsson, B. Collab. ; Chang, C. C. Editeur : Amsterdam : North-holland publishing company Année de publication : 1956 Collection : Studies in Logic and the Foundations of Mathematics Importance : 133 p. Langues : Anglais (eng) Mots-clés : bibliographies  mathematics education  general mathematics Index. décimale : 03C Monographie Ordinal algebras [texte imprimé] / Tarski, A. ; Jonsson, B. Collab. ; Chang, C. C. . - North-holland publishing company, 1956 . - 133 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais (eng) Mots-clés : bibliographies  mathematics education  general mathematics Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5557	03C71	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	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

Undecidable theories / Tarski, A.

Public ISBD Titre : Undecidable theories Type de document : texte imprimé Auteurs : Tarski, A. ; Robinson, R. Collab. ; Motowski, A. Editeur : Amsterdam : North- Holland Publishing Company Année de publication : 1971 Collection : Studies in Logic and the Foundations of Mathematics Importance : xi - 98 p. Langues : Anglais (eng) Mots-clés : foundations of mathematics  philosophy Index. décimale : 03C Monographie Undecidable theories [texte imprimé] / Tarski, A. ; Robinson, R. Collab. ; Motowski, A. . - North- Holland Publishing Company, 1971 . - xi - 98 p.. - (Studies in Logic and the Foundations of Mathematics) . Langues : Anglais (eng) Mots-clés : foundations of mathematics  philosophy Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

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