TY - BOOK AU - Berkeley E C TI - Symbolic logic and intelligent machines U1 - 005.131 PY - 1959/// CY - London PB - Chapman & Hall KW - Intelligent machine KW - Symbolic logic ER -