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}
}