Deduction systems
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.
0387948473 (acid-free paper)
Automatic theorem proving.
511.3028551
Deduction systems [Book] / Rolf Socher-Ambrosius, Patricia Johann. - New York : Springer, c1997. - xii, 206 p. : ill. ; 25 cm. - Graduate texts in computer science .
All.
0387948473 (acid-free paper)
Automatic theorem proving.
511.3028551