Selected Works in Logic
Universitetsforlaget (1970)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | Logic, Symbolic and mathematical |
| Categories | (categorize this paper) |
| Call number | QA9.S54 1970 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
Chapters BETA
Einige Bemerkungen Zu der Abhandlung von E.~Zermelo: ӆber Die Definitheit in der Axiomatik'.Thoralf Skolem
Logisch-Kombinatorische Untersuchungen Über Die Erfüllbarkeit Oder Bewiesbarkeit Mathematischer Sätze Nebst Einem Theorem Über Dichte Mengen.Thoralf Skolem
References found in this work BETA
No references found.
Citations of this work BETA
The Development of Mathematical Logic From Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
The Metamathematics of Putnam’s Model-Theoretic Arguments.Tim Button - 2011 - Erkenntnis 74 (3):321-349.
3 Wittgenstein and the Inexpressible.Juliet Floyd - 2007 - In Alice Crary (ed.), Wittgenstein and the Moral Life: Essays in Honor of Cora Diamond. MIT Press. pp. 177-234.
Completeness and Categoricity: Frege, Gödel and Model Theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
View all 17 citations / Add more citations
Similar books and articles
Skolem Th.. Recursive Enumeration of Some Classes of Primitive Recursive Functions and a Majorisation Theorem. Det Kongelige Norske Videnskabers Selskabs, Forhandlinger, Vol. 35 , Pp. 142–148. Reprinted in Selected Works in Logic, by Th. Skolem, Edited by Fenstad Jens Erik, Universitetsforlaget, Oslo, Bergen, and Tromsö, 1970, Pp. 681–687. [REVIEW]H. E. Rose - 1973 - Journal of Symbolic Logic 38 (3):526-526.
From Peirce to Skolem: A Neglected Chapter in the History of Logic.Geraldine Brady - 2000 - North-Holland/Elsevier Science Bv.
A Course in Mathematical Logic.J. L. Bell - 1977 - Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Proceedings of the Second Scandinavian Logic Symposium.Jens Erik Fenstad (ed.) - 1971 - Amsterdam: North-Holland Pub. Co..
Foundational Studies: Selected Works.Andrzej Mostowski - 1979 - Sole Distributor for the U.S.A. And Canada, Elsevier North-Holland.
Models, Algebras, and Proofs Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogotá.Xavier Caicedo & Carlos H. Montenegro - 1999
Thought and Logic: The Debates Between German-Speaking Philosophers and Symbolic Logicians at the Turn of the 20th Century.Jarmo Pulkkinen - 2005 - P. Lang.
The Two-Valued Iterative Systems of Mathematical Logic.Emil Leon Post - 1941 - London: Oxford University PRess.
19th Century Logic Between Philosophy and Mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Analytics
Added to PP index
2009-01-28
Total views
41 ( #240,816 of 2,386,399 )
Recent downloads (6 months)
12 ( #55,245 of 2,386,399 )
2009-01-28
Total views
41 ( #240,816 of 2,386,399 )
Recent downloads (6 months)
12 ( #55,245 of 2,386,399 )
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
