An Introduction to Metalogic
Download or Read eBook An Introduction to Metalogic PDF written by Aladdin M. Yaqub and published by Broadview Press. This book was released on 2014-10-24 with total page 346 pages. Available in PDF, EPUB and Kindle.
| Author | : Aladdin M. Yaqub |
| Publisher | : Broadview Press |
| Total Pages | : 346 |
| Release | : 2014-10-24 |
| ISBN-10 | : 9781460402443 |
| ISBN-13 | : 1460402448 |
| Rating | : 4/5 (43 Downloads) |
Book Synopsis An Introduction to Metalogic by : Aladdin M. Yaqub
Book excerpt: 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, covering many related topics in between.
