Graduate studies at Western
Dover Publications (1981)
|Abstract||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||$10.87 used (1% off) $39.71 new Amazon page|
|Call number||QA9.W347 1993|
|Through your library||Configure|
Similar books and articles
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.
J. L. Bell (1977). A Course in Mathematical Logic. Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
W. V. Quine (1951). Mathematical Logic. Cambridge, Harvard University Press.
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Volker Peckhaus (1999). 19th Century Logic Between Philosophy and Mathematics. Bulletin of Symbolic Logic 5 (4):433-450.
Joel W. Robbin (1969/2006). Mathematical Logic: A First Course. Dover Publications.
Gila Sher & Richard L. Tieszen (eds.) (2000). Between Logic and Intuition: Essays in Honor of Charles Parsons. Cambridge University Press.
John N. Crossley (ed.) (1972/1990). What is Mathematical Logic? Dover Publications.
Added to index2009-01-28
Total downloads44 ( #29,913 of 739,671 )
Recent downloads (6 months)2 ( #37,337 of 739,671 )
How can I increase my downloads?