Socher-Ambrosius, Rolf. Deduction systems [Book] / Rolf Socher-Ambrosius, Patricia Johann. - New York : Springer, c1997. - xii, 206 p. : ill. ; 25 cm. - Graduate texts in computer science . All. ISBN: 0387948473 (acid-free paper) Subjects--Topical Terms: Automatic theorem proving. Dewey Class. No.: 511.3028551