Mathematical Logic: A course with exercises - Part I - Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Ein kompakter Leitfaden für Studierende der formalen Logik: von Aussagenkalkül über Boolesche Algebren bis hin zu Prädikatenlogik, ergänzt durch ...