Elements de logique mathematique - theorie des modeles: par G. Kreisel et J.L. Krivine

&
Dunod (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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: G. Kreisel, J. L. Krivine, Elements of Mathematical Logic. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.
G. Kreisel and J. L. Krivine. Elements of mathematical logic. . North-Holland Publishing Company, Amsterdam1967, xi + 222 pp. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112.
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.
Kreisel G.. On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 , pp. 103–127.Kreisel G.. Applications of mathematical logic to various branches of mathematics. 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. 37–49.Robinson A. and Kreisel G.. Discussion. 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, p. 50.Kreisel G.. Models, translations, and interpretations. Mathematical interpretation of formal systems, Studies in logic and the foundations of ma. [REVIEW]William Craig - 1959 - Journal of Symbolic Logic 24 (3):236-238.
Elements of mathemathical logic (Model theory), de G. Kreisel y JL Krivine.José Sanmartín Esplugues - 1971 - Teorema: International Journal of Philosophy 1 (1):151-152.
Cours de théorie des modèles: une introduction à la Logique mathématique contemporaine.Bruno Poizat - 1985
Les intuitions logiques d’Edgar Morin.Didier Dacunha-Castelle - 2011 - Hermès: La Revue Cognition, communication, politique 60 (2):, [ p.].
Review: Georg Kreisel, Mathematical Logic. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.
Kreiseliana: About and Around Georg Kreisel.Piergiorgio Odifreddi (ed.) - 1996 - A K Peters.

Analytics

Added to PP
2015-02-02

Downloads
1 (#1,944,080)

6 months
1 (#1,886,877)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Le réalisme des hypothèses et la Partial Interpretation View.Philippe Mongin - 1988 - Philosophy of the Social Sciences 18 (3):281-325.

Add more citations

References found in this work

No references found.

Add more references