Logic for Computer Science : Foundations of Automatic Theorem Proving
Gallier, Jean
Logic for Computer Science : Foundations of Automatic Theorem Proving - New York John Wiley & Sons 1987
Automatic Theorem Proving
Logic, Symbolic and Mathematical
Logic for Computer Science : Foundations of Automatic Theorem Proving - New York John Wiley & Sons 1987
Automatic Theorem Proving
Logic, Symbolic and Mathematical