An introduction to many-valued logics.
Ackermann, Robert.
London,
1967.