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