An Introduction to Many-valued Logics - Robert Ackermann (Taylor and Francis, 1967)