Eine Einführung in die Metalogik von Aladdin M. Yaqub (Englisch) Taschenbuch
43,55 €
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.
Jetzt bei Ebay: