000			00440pam a2200157a 44500
082			_a510.78 _bB455s
100			_aBerkeley, Edmund Callis
245	1		_aSYMBOLIC LOGIC AND INTELLIGENT MACHINES
260			_aN. Y. _bReinhold Pub. Corp. _c1959
300			_a203
650			_aElectronic Calculating-Machines
650			_aElectronic Data Processing
650			_aLogic, Symbolic And Mathematical
964			_gCIRC
997			_a29948 C
999			_c424781 _d424781