Three Views of Logic: Mathematics, Philosophy, and Computer Science by Donald W.
111,12 €
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:
