Drei Ansichten der Logik: Mathematik, Philosophie und Informatik, Paperba...
67,86 €
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:
