Mathematical Logic with Special Reference to the Natural Numbers
Author:   S. W. P. Steen (University of Cambridge)
Publisher:   Cambridge University Press
ISBN:  

9780511897320


Publication Date:   07 October 2011
Format:   Undefined
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Our Price $435.60 Quantity:  
Add to Cart

Share |

Mathematical Logic with Special Reference to the Natural Numbers


Add your own review!

Overview

This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas about natural numbers can be stated precisely and meaningfully, and then investigates the properties and limitations of this language. The treatment of mathematical concepts in the main body of the text is rigorous, but, a section of 'historical remarks' traces the evolution of the ideas presented in each chapter. Sources of the original accounts of these developments are listed in the bibliography.

Full Product Details

Author:   S. W. P. Steen (University of Cambridge)
Publisher:   Cambridge University Press
Imprint:   Cambridge University Press (Virtual Publishing)
ISBN:  

9780511897320


ISBN 10:   0511897324
Publication Date:   07 October 2011
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Undefined
Publisher's Status:   Active
Availability:   Available To Order   Availability explained
We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately.

Table of Contents

1. Formal Systems; 2. Propositional calculi; 3. Predicate calculi; 4. A complete, decidable arithmetic; 5. Aoo -Definable functions; 6. A complete, undecidable arithmetic; 7. Ao- Definable functions; 8. An incomplete undecidable arithmetic; 9. A-Definable sets of lattice points; 10. Induction.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now