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