00818nam a22002291 4500 1/11758 971127s1996 enk 001 0 eng d 0387948473 12121 DLC GR-PeUP 511.3'0285 SO. Socher-Ambrosius, Rolf. Deduction Systems / Rolf Socher-Ambrosius, Patricia Johann. New York: Springer, 1996. 206 p.: with 34 illustrations, 28 cm. Graduate texts in computer science ; Includes bibliographical references & index. Autimatic Theorem Proving. Johann, Patricia. Graduate texts in computer science. INST UNIPILB MAIN 20040709 511.3'0285 SO. 00127384 00127384 LOAN 0 1 /webopac/covers/01/12121_0387948473.jpg