Drei Ansichten der Logik: Mathematik, Philosophie und Informatik von Donald W.
106,60 €
Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system.
Jetzt bei Ebay:
