Symbolic logic and intelligent machines - Berkeley E C (London Chapman & Hall, 1959)
Keywords: Intelligent machine; Symbolic logic