Many-valued Logics (1952)

by J B ROSSER, A R TURQUETrE