Many-Valued Logics (1952)

by J B Rosser, A R Turquette