The Completeness of Elementary Algebra and Geometry
Paris, Centre National De La Recherche Scientifique, Institut Blaise Pascal (1967)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Logic, Symbolic and mathematical Axioms Gödel's theorem | |||||||||
| Categories | ||||||||||
| Call number | QA9.T27 1967 | |||||||||
| ISBN(s) | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesAlasdair Urquhart (2010). Von Neumann, Gödel and Complexity Theory. Bulletin of Symbolic Logic 16 (4):516-530.
Jean Van Heijenoort (1879/1970). Frege and Gödel. Cambridge, Mass.,Harvard University Press.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
Mark Steiner (2001). Wittgenstein as His Own Worst Enemy: The Case of Gödel's Theorem. Philosophia Mathematica 9 (3):257-279.
Vera Stebletsova & Yde Venema (2001). Undecidable Theories of Lyndon Algebras. Journal of Symbolic Logic 66 (1):207-224.
Alfred Tarski & Steven Givant (1999). Tarski's System of Geometry. Bulletin of Symbolic Logic 5 (2):175-214.
Stephen Cole Kleene (1967/2002). Mathematical Logic. Dover Publications.
Stephen Read (1997). Completeness and Categoricity: Frege, Gödel and Model Theory. History and Philosophy of Logic 18 (2):79-93.
Alonzo Church (1942). Elementary Topics in Mathematical Logic. Brooklyn, N.Y. [Brooklyn.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-09-15Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
