|
Books > Humanities > Philosophy > Topics in philosophy > Logic
|
Buy Now
An Introduction to Metalogic (Paperback)
Loot Price: R1,024
Discovery Miles 10 240
|
|
|
An Introduction to Metalogic (Paperback)
Expected to ship within 12 - 19 working days
|
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
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!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
