Introduction to Mathematical Logic

Introduction to Mathematical Logic

3.93 (45 ratings by Goodreads)
By (author) 

List price: US$99.00

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks


This classic in the field is a compact introduction to some of the basic topics of mathematical logic. Major changes in this edition include a new section on semantic trees; an expanded chapter on Axiomatic Set Theory; and full coverage of effective computability, where Turing computability is now the central notion and diagrams (flow-charts) are used to construct Turing machines. Recursion theory is covered in more detail, including the s-m-n theorem, the recursion theorem and Rice's Theorem. New sections on register machines and random access machines will be of special interest to computer science students. The proofs of the incompleteness theorems are now based on the Diagonalization Lemma and the text also covers Lob's Theorem and its connections with Godel's Second Theorem. This edition contains many new examples and the notation has been updated throughout. This book should be of interest to introductory courses for students of mathematics, philosophy, computer science and electrical engineering.
show more

Product details

  • Hardback | 375 pages
  • 162.56 x 236.22 x 20.32mm | 612.35g
  • Kluwer Academic Publishers Group
  • Kluwer Academic Publishers
  • Dordrecht, Netherlands
  • English
  • 3rd ed.
  • illus
  • 0534066240
  • 9780534066246

Table of contents

Introduction. The propositional calculus. Quantification theory. Formal number theory. Axiomatic set theory. Effective computability. Bibliography. Answers. Notation. Index.
show more

Rating details

45 ratings
3.93 out of 5 stars
5 24% (11)
4 49% (22)
3 22% (10)
2 4% (2)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X