Your price
Out of Stock

Mathematical Logic and Computability

International Series in Pure & Applied Mathematics

Format: Hardback
Publisher: McGraw-Hill Education - Europe, New York, United States
Imprint: McGraw-Hill Inc.,US
Published: 1st Jan 1996
ISBN-10: 0070339392
ISBN-13: 9780070339392
Barcode No: 9780070339392
Intended for a one-semester advanced undergraduate course in mathematical logic, this book requires some prior knowledge of mathematical proof. The authors emphasize proof theory of computation rather than set theory. A disk, featuring numerous examples, is also available (ISBN: 0-07-840027-9).

New & Used

Seller Information Condition Price
Out of Stock

What Reviewers Are Saying

Be the first to review this item. Submit your review now