Hähnle, R. (1993). Automated deduction in multiple-valued logics. Clarendon Press.
Chicago-Zitierstil (17. Ausg.)Hähnle, Reiner. Automated Deduction in Multiple-valued Logics. Oxford u.a: Clarendon Press, 1993.
MLA-Zitierstil (9. Ausg.)Hähnle, Reiner. Automated Deduction in Multiple-valued Logics. Clarendon Press, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.