000			00553pam a2200193a 44500
003			OSt
040			_cIIT Kanpur
041			_aeng
082			_a160 _bST9 V.32
111			_aLogic Colloquium _cOxford _dJuly 1963 _n8th
245	1		_aFORMAL SYSTEMS AND RECURSIVE FUNCTIONS _bproceedings
260			_bNorth-Holland _c1965 _aAmsterdam
300			_a320p.
490			_aStudy in Logic and foundations of Mathematics
650			_aLogic, Philosophy
653			_aRecursive Functions
700			_aDummett, M.A.E.[ed.] _aCrossley, J.N.[ed.]
942			_cBK
999			_c412537 _d412537