Berkeley, Edmund C. <br/><br/>
Symbolic Logic and Intelligent Machines 

 - NewYork  Reinhold Publication Co.  1959