Many-valued logics - Rosser, J. Barkley; Turquette, Atwell R (Studie in logic and the foundations of mathematics, 1952)