Dover Publications (1981)
AbstractNoted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. After historical survey, lucid treatment of set theory, model theory, recursion theory and constructivism and proof theory. Place of problems in development of theories of logic, logic’s relationship to computer science, more. Suitable for readers at many levels of mathematical sophistication. 3 appendixes. Bibliography. 1981 edition.
Added to PP
Historical graph of downloads
References found in this work
No references found.
Citations of this work
Zermelo: Definiteness and the Universe of Definable Sets.Heinz-Dieter Ebbinghaus - 2003 - History and Philosophy of Logic 24 (3):197-219.
Proofs Versus Experiments: Wittgensteinian Themes Surrounding the Four-Color Theorem.G. D. Secco - 2017 - In Marcos Silva (ed.), How Colours Matter to Philosophy. Cham: Springer. pp. 289-307.
Der Charakter der Mathematik Zwischen Philosophie Und Wissenschaft.Michael Otte - 1989 - Philosophica 43:79-126.
Similar books and articles
The Prospects for Mathematical Logic in the Twenty-First Century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.
A Course in Mathematical Logic.J. L. Bell - 1977 - Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym - 2004 - Oxford, England: Oxford University Press.
19th Century Logic Between Philosophy and Mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Between Logic and Intuition: Essays in Honor of Charles Parsons.Gila Sher & Richard Tieszen (eds.) - 2000 - Cambridge University Press.