TY - BOOK AU - Berkeley, Edmund C. TI - Symbolic logic abd intelligent machines PY - 1959/// ER -