Ein erster Kurs in Logik: Eine Einführung in die Modelltheorie, Beweistheorie, Computab
130,75 €
Based on the author's teaching notes, this comprehensive text covers the basics of classical logic, including propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory.
Jetzt bei Ebay:
