Symbolic logic and intelligent machines - Berkeley, Edmund Callis (Reinhold Pub. Corp., 1959)