000			01754n a2200385#a 4500
001			2219
005			20240404163304.0
008			840501s1965 ne b 100 0 eng
010			_a66002289 //r84
035			_aocm00526307
035			_aRecord 04795
040			_aDLC/ICU _cCGU
049			_aP5AA
082	0	0	_a511.3 _bF723
090			_alf4
111	2		_aLogic Colloquium _n((8th : : _d1963 : : _cOxford, Oxfordshire)) _927204
245	1	0	_aFormal systems and recursive functions; _bproceedings/ _cEdited by J.N. Crossley and M.A.E. Dummett.
260			_aAmsterdam ; _bNorth-Holland, _c1965.
300			_a320 p.: _c23 cm.
500			_aHeld at St. Anne's College, Oxford, as a meeting of the Association for Symbolic Logic and as a NATO advanced study institute.
500			_aIncludes the Symposium on Recursive Functions, sponsored by the Division of Logic, Methodology and Philosophy of Science of the International Union of the History and Philosophy of Science.
504			_aIncludes bibliographies.
650		0	_aLogic, Symbolic and mathematical. _99813
650	0	4	_aRecursive functions _936989
697			_aLógica e Fundamentos 04- _x"Studies in Logic" _923801
700	1		_aCrossley, John N. _eed. _944083
700	1		_aDummett, Michael A. E. _eed. _946354
710	2		_aAssociation for Symbolic Logic. _944941
710	2		_aNorth Atlantic Treaty Organization. _945380
710	2		_aInternational Union of the History and Philosophy of Science. _bDivision of Logic, Methodology and Philosophy of Science _944991
711	2		_aSymposium on Recursive Functions _d((1963 : : _cOxford, Oxfordshire)) _927205
942			_2impa _cBK
999			_c3395 _d3395
490		0	_aStudies in logic and the foundations of mathematics _944413