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 [Book Review]

Journal of Symbolic Logic 62 (1):323-324 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275746

Other Versions

original de Rougemont, Michel (1997) "Review: Bruno Poizat, Les Petits Cailloux. Une Approche Modele-Theorique de L'algorithmie". Journal of Symbolic Logic 62(1):323-324

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,411

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

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. [REVIEW]E. A. Palyutin - 1993 - Journal of Symbolic Logic 58 (3):1074-1075.
Bruno Poizat. Groupes stables. Une tentative de conciliation entre la géométric algébrique et la logique mathématique. Nur al-Mantiq wal-Ma'rifah, Villeurbanne1987, vi + 215 pp. [REVIEW]James Loveys - 1989 - Journal of Symbolic Logic 54 (4):1494-1496.
Daniel Lascar and Bruno Poizat. An introduction to forking. The journal of symbolic logic, vol. 44 , pp. 330–350.Gregory Cherlin - 1986 - Journal of Symbolic Logic 51 (1):234-235.
Yuriĭ L. Ershov. Opredelimost′ i rychislimost′. Russian original of the preceding. Sibirskaya shkola algebry i logiki. Nauchnaya Kniga, Novosibirsk1996, 300 pp. - Richard Lassaigne and Michel de Rougemont. Logique et complexité. Collection informatique. Hermès, Paris1996, viii + 322 pp. [REVIEW]Denis Therien - 1998 - Journal of Symbolic Logic 63 (2):748-748.

Analytics

Added to PP
2016-06-30

Downloads
25 (#736,849)

6 months
6 (#1,131,759)

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