An introduction to many-valued logics - Ackermann, Robert (Routledge & Kegan Paul, 1967)