Publication Deduktion als Berechnung Hans-Jürgen Bürckert In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatiserung des logischen Denkens. Pages 151-178, Oldenbourg, 1992. BibTeX Export Deduktion als Berechnung@incollection{pub2387, author = { Bürckert, Hans-Jürgen }, editor = { Bläsius, Karl-Hans and Bürckert, Hans-Jürgen }, title = {Deduktion als Berechnung}, booktitle = {Deduktionssysteme. Automatiserung des logischen Denkens.}, edition = {2. erweiterte und überarbeitete Auflage}, year = {1992}, pages = {151--178}, publisher = {Oldenbourg} }