Fortell venner om denne varen:
An Introduction to Metalogic Aladdin M. Yaqub
Har du en profil? Logg inn
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Aladdin M. Yaqub
Legg til iMusic ønskeliste
eller
An Introduction to Metalogic
Aladdin M. Yaqub
Offers an 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.
300 pages
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 24. oktober 2014 |
| ISBN13 | 9781554811717 |
| Utgivere | Broadview Press Ltd |
| Antall sider | 310 |
| Mål | 179 × 228 × 15 mm · 280 g |