@book{Socher1994, author = {Socher, Rolf}, title = {Deduktionssysteme}, publisher = {BI-Wiss.-Verl.}, address = {Mannheim [u.a.]}, isbn = {3-411-17171-5}, pages = {186 S.}, year = {1994}, subject = {Deduktionssystem}, language = {de} }