TY - BOOK AU - Mates, Benson, AU - ED - ED - ED - ED - SN - 2 PY - 1965///46 CY - New York PB - Oxford University Press KW - KW - 2 KW - 0 KW - 6 KW - 20 KW - Logic, Symbolic and mathematical N1 - Bibliography: p. 221-222; 5 ER -