@book{Socher2015, author = {Rolf Socher}, title = {Deduktionssysteme}, isbn = {3-411-17171-5}, year = {2015}, }