@book{SocherJohann1997, author = {Socher, Rolf and Johann, Patricia}, title = {Deduction systems}, publisher = {Springer}, address = {New York [u.a.]}, isbn = {0-387-94847-3}, pages = {XII, 206 S.}, year = {1997}, subject = {Deduktionssystem}, language = {en} }