|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Joel W RobbinPublisher: Dover Publications Inc. Imprint: Dover Publications Inc. Dimensions: Width: 13.40cm , Height: 1.00cm , Length: 21.50cm Weight: 0.255kg ISBN: 9780486450186ISBN 10: 048645018 Pages: 224 Publication Date: 25 August 2006 Audience: General/trade , General Format: Paperback Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of Contents1. The Propositional Calculus 2. First-Order Logic 3. First-Order Recursive Arithmetic 4. Arithmetization of Syntax 5. The Incompleteness Theorems and Other Applications of the Liar Paradox 6. Second-Order Logic Appendix Answers to Selected Exercises Suggested Reading IndexReviewsAuthor InformationJoel W. Robbin is a Professor of Mathematics at the University of Wisconsin. Tab Content 6Author Website:Countries AvailableAll regions |