Logic for the Computer Sciences CACM April, 1964 Korfhage, R. R. CA640405 JB March 10, 1978 1:50 AM 1103 5 1103 1103 5 1103 1103 5 1103