Many-valued logics / - Rosser, J. Barkley (North-Holland Pub. Co., 1952)