Vollständige Induktion

@incollection{pub1585,
    author = {

Hutter, Dieter
},
    editor = {

Bläsius, Karl-Hans
 and 

Bürckert, Hans-Jürgen
},
    title = {Vollständige Induktion},
    booktitle = {Deduktionssysteme. Automatisierung des logischen Denkens},
    edition = {2nd completely revised edition},
    year = {1992},
    publisher = {Oldenbourg Verlag}
}