An Introduction to Metalogic (Paperback)

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.

General

Imprint:	Broadview Press
Country of origin:	Canada
Release date:	October 2014
First published:	May 2014
Authors:	Aladdin M. Yaqub
Dimensions:	229 x 178 x 15mm (L x W x T)
Format:	Paperback
Pages:	310
ISBN-13:	978-1-55481-171-7
Categories:	Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Philosophy > Topics in philosophy > Logic Promotions
LSN:	1-55481-171-6
Barcode:	9781554811717

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!