1.
Automated deduction in multiple-valued logics. Oxford, New York: Clarendon Press; 1993.
Automated deduction in multiple-valued logics. Oxford, New York : Clarendon Press, 2 mai 1993. ISBN 0-19-853989-4
Hähnle Reiner. (1993). Automated deduction in multiple-valued logics. Clarendon Press.
MLA (8th ed.) CitationHähnle Reiner. Automated Deduction in Multiple-valued Logics. Clarendon Press, 1993.
Warning: These citations may not always be 100% accurate.