TY - BOOK AU - Berkeley E C TI - Symbolic logic and intelligent machines U1 - 005.131 PY - 1961/// CY - London PB - Chapman & Hall KW - Computer science KW - Programming language KW - Symbolic logic ER -