An Introduction to Metalogic

An Introduction to Metalogic

Nettpris
279,-
Førpris 399,- Spar 120,-
Pocket

NETTBESTILLING

- få varen levert rett hjem!

Sendes normalt fra oss i løpet av 10 virkedager

Fri frakt på kjøp over 249,-
Skriv anmeldelse
Lagerstatus Sendes normalt fra oss i løpet av 10 virkedager
Format Pocket
Utgivelsesår 2014
Forlag Broadview Press Ltd
Språk Engelsk
ISBN 9781554811717
Sider 310

Om An Introduction to Metalogic

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.


Kundevurderinger

ARKs anbefalinger

Det finnes ingen vurderinger av dette produktet. Skriv anmeldelse

Anbefalt


Tips en venn