Symbolic logic and intelligent machines.
Berkeley, Edmund Callis.
New York & London, 
[1959]
[With a bibliography.]