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||$5.00 used (55% off) $7.57 new (31% off) $10.95 direct from Amazon Amazon page|
|Call number||QA9.W347 1993|
References found in this work BETA
No references found.
Citations of this work BETA
Zermelo: Definiteness and the Universe of Definable Sets.Heinz-Dieter Ebbinghaus - 2003 - History and Philosophy of Logic 24 (3):197-219.
Human-Oriented and Machine-Oriented Reasoning: Remarks on Some Problems in the History of Automated Theorem Proving. [REVIEW]Furio Di Paola - 1988 - AI and Society 2 (2):121-131.
Similar books and articles
Between Logic and Intuition: Essays in Honor of Charles Parsons.Gila Sher & Richard L. Tieszen (eds.) - 2000 - Cambridge University Press.
19th Century Logic Between Philosophy and Mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control.David J. Pym - 2004 - Oxford University Press.
A Course in Mathematical Logic.J. L. Bell - 1977 - Sole Distributors for the U.S.A. And Canada American Elsevier Pub. Co..
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.
Added to index2009-01-28
Total downloads60 ( #87,362 of 2,170,078 )
Recent downloads (6 months)1 ( #345,514 of 2,170,078 )
How can I increase my downloads?