Socher-Ambrosious, Rolf
Deduction systems / Rolf Socher-Ambrosius, Patricia Johann. - New York : Springer , cop. 1997 . - XII, 206 p. : il. ; 25 cm. - (Graduate texts in computer science)
ISBN 0-387-94847-3
Demonstração de teoremas
LCC QA76.9
Deduction systems / Rolf Socher-Ambrosius, Patricia Johann. - New York : Springer , cop. 1997 . - XII, 206 p. : il. ; 25 cm. - (Graduate texts in computer science)
ISBN 0-387-94847-3
Demonstração de teoremas
LCC QA76.9