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