Gallier, Jean H.
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier. - New York, NY : Harper & Row, c1986. - xv, 511 p. ; 25 cm. - Harper & Row computer science and technology series .
Includes bibliographies and indexes.
0060422254
85014071
Automatic theorem proving.
Logic, Symbolic and mathematical.
QA76.9.A96 / G35 1986
511.3 / GAL
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier. - New York, NY : Harper & Row, c1986. - xv, 511 p. ; 25 cm. - Harper & Row computer science and technology series .
Includes bibliographies and indexes.
0060422254
85014071
Automatic theorem proving.
Logic, Symbolic and mathematical.
QA76.9.A96 / G35 1986
511.3 / GAL