Bruno Poizat. Corns de théorie des modèles. Une introduction à la logique mathématique contemporaine. Nur al-Mantiq wal-Ma’rifah, Villeurbanne1985, vi + 584 pp [Book Review]

Journal of Symbolic Logic 58 (3):1074-1075 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275114

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,571

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Bruno Poizat, Cours de Theorie des Modeles. Une Introduction a la Logique Mathematique Contemporaine. [REVIEW]E. A. Palyutin - 1993 - Journal of Symbolic Logic 58 (3):1074-1075.
Cours de théorie des modèles: une introduction à la Logique mathématique contemporaine.Bruno Poizat - 1985
Bruno Poizat. Les petits cailloux. Une approche modèle-théorique de Valgoritkmie. Nur al-Mantiq wal-Ma'rifah, no. 3. Aléas, Lyon1995, 217 pp. [REVIEW]Michel de Rougemont - 1997 - Journal of Symbolic Logic 62 (1):323-324.
Martin R.. Logique mathématique. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 52–53.Sabbagh G.. Logique mathématique. 1. Généralités. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 53–56.Reznikoff I.. Logique mathématique. 2. Théorie lie la démonstration et intuitionnisme. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 57–64.Sabbagh G.. Logique mathématique. 3. Théorie des modèles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 65–66.Sabbagh G.. Logique mathématique. 4. Théorie axiomatique des ensembles. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 66–71.Sabbagh G.. Logique mathématique. 5. Décidabilité et fonctions récursives. Encyclopaedia universalis, Encyclopaedia Universalis France, Éditeur, Paris, vol. 10 , pp. 71–73. [REVIEW]J. van Heijenoort - 1973 - Journal of Symbolic Logic 38 (2):341-341.
Etude D'Un Forcing en Théorie des Modèles.Bruno Poizat - 1978 - Mathematical Logic Quarterly 24 (19‐24):347-356.
Etude D'Un Forcing en Théorie des Modèles.Bruno Poizat - 1978 - Mathematical Logic Quarterly 24 (19-24):347-356.
Groupes Stables. Une Tentative de Conciliation Entre la Geometrie Algebrique et la Logique Mathematique.James Loveys & Bruno Poizat - 1989 - Journal of Symbolic Logic 54 (4):1494.
Quelques effets pervers de la positivité.Bruno Poizat - 2010 - Annals of Pure and Applied Logic 161 (6):812-816.
Éléments de Logique Mathématique Théorie des Modèles.Georg Kreisel & J. L. Krivine - 1967 - Dunod.
Groupes stables: une tentative de conciliation entre la géométrie algébrique et la logique mathématique.Bruno Poizat - 1987
Riguet J.. Quelques applications de la théorie des relations binaires. Applications scientifiques de la logique mathématique, Acte du 2e Colloque International de Logique Mathématique, Paris — 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, série A, Gauthier-Villars, Paris 1954, et E. Nauwelaerts, Louvain 1954, p. 141–144. [REVIEW]Roland Fraïssé - 1957 - Journal of Symbolic Logic 22 (3):300-300.
Rose Alan. Caractérisation, au moyen de la théorie des treillis, du calcul de propositions à foncteurs variables. Applications scientifiques de la logique mathématique, Actes du 2° Colloque International de Logique Mathématique, Paris, 25-30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A, no. 5, lithographed . Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 87–88. [REVIEW]Krister Segerberg - 1969 - Journal of Symbolic Logic 34 (1):121-121.
René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome I. Calcul propositionnel, algèbres de Boole, calcul des prédicats. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 385 p. - René Cori et Daniel Lascar. Logique mathématique. Cours et exercices. Tome II. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Collection axiomes. Masson, Paris etc. 1993, xv + 347 p. [REVIEW]Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):691-692.
Corps et modèles: essai sur l'histoire de l'algèbre réelle.Hourya Sinaceur - 1991 - Vrin.
Sublet Jacques. Essai de formalisation complète du raisonnement mathématique sur la base de trois opérations. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris-25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 91–94. [REVIEW]Frederic B. Fitch - 1971 - Journal of Symbolic Logic 36 (4):675-675.

Analytics

Added to PP
2016-06-30

Downloads
23 (#677,046)

6 months
6 (#509,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references