Standard logic and formal proof textbook used in computer science and philosophy courses. Covers first-order logic, proof techniques and formal semantics. Good condition. Pickup in Zürich only.
Standard logic and formal proof textbook used in computer science and philosophy courses. Covers first-order logic, proof techniques and formal semantics. Good condition. Pickup in Zürich only.
Valuta questi risultati