|
Deduction Systems
more books like this
by
Rolf Socher-Ambrosius, Patricia Johann
This graduate-level text offers a theoretical treatment of the fundamental concepts and methods of automated deduction. By presenting an account which covers resolution theorem-proving in order-sorted first-order logic it provides a self-contained account suitable for students coming to the subject for the first time. Both Gentzen-style sequent ...
see all copies
from $8.12!
new only
from $8.12!
|
first editions
|