This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan. This book is a sequel to my Beginner's Guide to Mathematical Logic . The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on G???del's famous incompleteness theorem, along with related results. The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a "fein" chapter, ...
Read More
This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan. This book is a sequel to my Beginner's Guide to Mathematical Logic . The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on G???del's famous incompleteness theorem, along with related results. The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a "fein" chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a "decision machine." Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic. This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.
Read Less
Add this copy of Beginner's Further Guide to Mathematical Logic, a to cart. $18.43, like new condition, Sold by Zubal Books rated 4.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 2016 by WSPC.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
288 pp., Paperback, some FAINT (almost imperceptible) pencil residue to half-title page else fine. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of A Beginner's Further Guide to Mathematical Logic to cart. $22.55, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2017 by World Scientific Publishing Company.
Add this copy of Beginner's Further Guide to Mathematical Logic, a to cart. $24.38, very good condition, Sold by Suffolk Books rated 4.0 out of 5 stars, ships from center moriches, NY, UNITED STATES, published 2017 by World Scientific Publishing Comp.
Add this copy of A Beginner's Further Guide to Mathematical Logic to cart. $29.22, good condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2016 by WSPC.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Beginner's Further Guide to Mathematical Logic, a to cart. $42.43, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2016 by WSPC.
Add this copy of A Beginners Further Guide to Mathematical Logic to cart. $52.96, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 2017 by World Scientific Publishing Company.
