Featured
Compare webshops (2)
Pages: 232, Edition: 1st ed. 2021, Hardcover, Springer
Prices were last updated on: 15-06-2026, 14:55
Cambridge University Press
Handbook of Practical Logic and Automated Reasoning
Springer
First Order Logic and Automated Theorem Proving (Texts in Computer Science)
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Back to top