Mathematical Logic with Special Reference to the Natural Numbers

Mathematical Logic with Special Reference to the Natural Numbers

by S. W. P. Steen
ISBN-10:
052109058X
ISBN-13:
9780521090582
Pub. Date:
11/27/2008
Publisher:
Cambridge University Press
ISBN-10:
052109058X
ISBN-13:
9780521090582
Pub. Date:
11/27/2008
Publisher:
Cambridge University Press
Mathematical Logic with Special Reference to the Natural Numbers

Mathematical Logic with Special Reference to the Natural Numbers

by S. W. P. Steen

Paperback

$75.99 Current price is , Original price is $75.99. You
$75.99 
  • SHIP THIS ITEM
    Qualifies for Free Shipping
  • PICK UP IN STORE
    Check Availability at Nearby Stores

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.

Product Details

ISBN-13: 9780521090582
Publisher: Cambridge University Press
Publication date: 11/27/2008
Pages: 656
Product dimensions: 5.90(w) x 9.00(h) x 1.80(d)

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.
From the B&N Reads Blog

Customer Reviews