An Introduction to Metalogic
20%
off

An Introduction to Metalogic

By (author) Aladdin M. Yaqub

US$34.95US$43.94

You save US$8.99

Free delivery worldwide

Available
Dispatched in 1 business day

When will my order arrive?

An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic, and ends with detailed outlines of the proofs of the incompleteness, undecidability and indefinability theorems. Many other topics are covered: expressive completeness, the basics of set theory, infinite cardinalities, Cantor's Theorems, the Soundness and Completeness Theorems, Turing machines, the Halting Problem, predicate logic theories and their properties, elementary equivalence, isomorphism, Peano Arithmetic, second-order predicate logic and more.

show more
  • Paperback | 300 pages
  • 178 x 226 x 18mm | 599.99g
  • 30 Nov 2014
  • Broadview Press Ltd
  • Peterborough
  • English
  • 1554811716
  • 9781554811717
  • 731,650

Other books in this category

Other people who viewed this bought:

Author Information

Aladdin M. Yaqub is Associate Professor of Philosophy at Lehigh University.

show more

Back cover copy

An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic, and ends with detailed outlines of the proofs of the incompleteness, undecidability, and indefinability theorems. Many other topics are covered: expressive completeness, the basics of set theory, infinite cardinalities, Cantor's Theorems, the Soundness and Completeness Theorems, Turing machines, the Halting Problem, predicate logic theories and their properties, elementary equivalence, isomorphism, Peano Arithmetic, second-order predicate logic, and more.

show more