An Introduction to Metalogic - Aladdin M. Yaqub - Boeken - Broadview Press Ltd - 9781554811717 - 24 oktober 2014
Indien omslag en titel niet overeenkomen, is de titel correct

An Introduction to Metalogic


Ontvang een e-mail zodra het artikel beschikbaar is
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

Nog niet beoordeeld

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

Meer van dezelfde uitgever