Deduktionssysteme. Automatisierung des logischen Denkens

@book{pub1844,
    editor = {

Bläsius, Karl-Hans
 and 

Bürckert, Hans-Jürgen
},
    title = {Deduktionssysteme. Automatisierung des logischen Denkens},
    edition = {2. erweiterte und überarbeitete Auflage},
    year = {1992},
    publisher = {Oldenbourg-Verlag}
}