Symbolic Logic and Mech - "Chang, Chin-Liang" (New York, 1973)