Mathematical Logic: A course with exercises - Part I - Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
101.10 EUR
Ein praxisnaher Leitfaden für Logikstudierende: von Aussagenkalkül über Boolesche Algebren bis hin zu Prädikatenlogik, ergänzt durch zahlreiche Übungen und die Beweisführung der Vollständigkeitstheoreme.