Logic for computer science:foundations of automatic theorem proving
Gallier, Jean H.
Logic for computer science:foundations of automatic theorem proving - 2nd. ed. - New York Dover Publication 2015 - xxiii, 496p. pbk
9780486780825
Automatic theorem proving.
Logic, Symbolic and mathematical.
004.421 / GAL-L
Logic for computer science:foundations of automatic theorem proving - 2nd. ed. - New York Dover Publication 2015 - xxiii, 496p. pbk
9780486780825
Automatic theorem proving.
Logic, Symbolic and mathematical.
004.421 / GAL-L