David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Dover Publications (1981)
Noted 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.
|Keywords||Logic, Symbolic and mathematical|
|Categories||categorize this paper)|
|Buy the book||$4.98 new (55% off) $8.12 direct from Amazon (26% off) Amazon page|
|Call number||QA9.W347 1993|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Gabriele Lolli (1985). Foundational Problems From Computation Theory. Synthese 62 (2):275 - 288.
Furio Di Paola (1988). Human-Oriented and Machine-Oriented Reasoning: Remarks on Some Problems in the History of Automated Theorem Proving. [REVIEW] AI and Society 2 (2):121-131.
Similar books and articles
Gila Sher & Richard L. Tieszen (eds.) (2000). Between Logic and Intuition: Essays in Honor of Charles Parsons. Cambridge University Press.
Joel W. Robbin (1969/2006). Mathematical Logic: A First Course. Dover Publications.
Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
W. V. Quine (1951). Mathematical Logic. Cambridge, Harvard University Press.
J. L. Bell (1977). A Course in Mathematical Logic. Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore (2001). The Prospects for Mathematical Logic in the Twenty-First Century. Bulletin of Symbolic Logic 7 (2):169-196.
John N. Crossley (ed.) (1972/1990). What is Mathematical Logic? Dover Publications.
Added to index2009-01-28
Total downloads54 ( #45,725 of 1,699,827 )
Recent downloads (6 months)4 ( #161,079 of 1,699,827 )
How can I increase my downloads?