Symbolic logic and intelligent machines - Berkeley, Edmund Callis (Reinhold Publishing Corporation, 1959)