Vertel uw vrienden over dit artikel:
An Introduction to Metalogic Aladdin M. Yaqub
Heb je een profiel? Inloggen
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Aladdin M. Yaqub
Voeg toe aan uw iMusic-verlanglijst
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 24 oktober 2014 |
| ISBN13 | 9781554811717 |
| Uitgevers | Broadview Press Ltd |
| Pagina's | 310 |
| Afmetingen | 179 × 228 × 15 mm · 280 g |