FREE CLICK & COLLECT SERVICE | SPEND 10 FOR FREE DELIVERY

BEGINNER'S FURTHER GUIDE TO MATHEMATICAL LOGIC, A

by SMULLYAN RAYMOND M | 13 January 2017
Category: Mathematics
Synopsis
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.
€28.00
84 Reward Points
Currently out of stock
Delivery in 5-7 Days
Eligible for free delivery

Any purchases for more than €10 are eligible for free delivery anywhere in the UK or Ireland!

Synopsis
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.
€28.00
84 Reward Points
Currently out of stock
Delivery in 5-7 Days
Eligible for free delivery

Any purchases for more than €10 are eligible for free delivery anywhere in the UK or Ireland!


Product Details

ISBN - 9789814725729
Format -
Publisher -
Published - 13/01/2017
Categories - All, Books, Science and Nature, Science, Mathematics
No. of Pages - 350
Weight - 414
Edition -
Series - - Not Available
Page Size - 0
Language - en-US
Readership Age - Not Available
Table of Contents - Not Available

Delivery And Returns

Please Note: Items in our extended range may take longer to deliver. Delivery in 5-7 Days

Place an order for over €10 to receive free delivery to anywhere in Ireland and the UK! See our Delivery Charges section below for a full breakdown of shipping costs for all destinations.

 

Delivery Charges

  Ireland & UK* Europe & USA Australia & Canada Rest of World
Under €10 €3.80 €10 €15 €25
Over €10
Free €10 €15 €25

*Free delivery on all orders over €10 - only applies to order total.

All orders will be delivered by An Post.