The completeness of elementary algebra and geometry

Paris,: Centre national de la recherche scientifique, Institut Blaise Pascal (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

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

Through your library

Similar books and articles

Von Neumann, Gödel and complexity theory.Alasdair Urquhart - 2010 - Bulletin of Symbolic Logic 16 (4):516-530.
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.
Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
Undecidable theories of Lyndon algebras.Vera Stebletsova & Yde Venema - 2001 - Journal of Symbolic Logic 66 (1):207-224.
Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean Van Heijenoort - 1970 - Cambridge, MA: Harvard University Press. Edited by Gottlob Frege & Kurt Gödel.
Elementary topics in mathematical logic.Alonzo Church - 1942 - Brooklyn, N.Y. [Brooklyn,: Brooklyn, N.Y. [Brooklyn.

Analytics

Added to PP
2009-09-15

Downloads
62 (#234,541)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
Nominalization, Specification, and Investigation.Richard Lawrence - 2017 - Dissertation, University of California, Berkeley
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
On Tarski's foundations of the geometry of solids.Arianna Betti & Iris Loeb - 2012 - Bulletin of Symbolic Logic 18 (2):230-260.

Add more citations

References found in this work

No references found.

Add more references