TY - GEN AU - Cleave, J. P. AU - Korner, Stephan AU - TI - PHILOSOPHY OF LOGIC U1 - 160 PY - 1967/// CY - Oxford PB - Basil Blackwell KW - Logic ER -