(1992): Deduktionssysteme
Title:
Deduktionssysteme
Missing author!
Year:
1992
Editor(s):
K. H. Bläsius and H.-J. Bürckert
Publisher:
Oldenbourg Verlag München
Concepts
