Symbolic logic and intelligent machines - Berkeley E C (London Chapman & Hall, 1961)
Keywords: Computer science; Programming language; Symbolic logic