Weidenbach, C. (1996). Computational aspects of a first-order logic with sorts.
Chicago-Zitierstil (17. Ausg.)Weidenbach, Christoph. Computational Aspects of a First-order Logic with Sorts. 1996.
MLA-Zitierstil (9. Ausg.)Weidenbach, Christoph. Computational Aspects of a First-order Logic with Sorts. 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.