Grundlagen der Logik - Vollständigkeit, Unvollständigkeit, Berechenbarkeit [Taschenbuch]
62,37 €
This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Gödel's Incompleteness Theorems, and Turing's analysis of computability.
Jetzt bei Ebay: