Numerically exceptive logic : a reduction of classical syllogism / Wallace A. Murphree. New York, NY : Lang, 1991