Publication Deduktionssysteme. Automatisierung des logischen Denkens Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.) Oldenbourg-Verlag, 1987. BibTeX Export Deduktionssysteme. Automatisierung des logischen Denkens@book{pub1832, editor = { Bläsius, Karl-Hans and Bürckert, Hans-Jürgen }, title = {Deduktionssysteme. Automatisierung des logischen Denkens}, edition = {1. Auflage}, year = {1987}, publisher = {Oldenbourg-Verlag} }