First-Order Logic and Automated Theorem Proving
Fitting and 1 more
Ebook
Digital. Available Immediately. Country restrictions apply.
£72.00
Types, Tableaus, and Gödel's God
Melvin Fitting
Hardback
Not Available
Proof Methods for Modal and Intuitionistic Logics
Join our community for the latest bookish news, reading recommendations, exclusive opening extracts, author events and competitions. It\'s all free. And enter a monthly draw to win a £50 Gift Card. See past winners here
