Automated Deduction in Classical and Non-Classical Logics
Ricardo Caferra and 1 more
Paperback
Not Available