Many-valued logics - Rosser, Barkley (North-Holland Publishing Company, 1958)