Introduction to Many-valued Logics, Hardback/Robert Ackermann