000			02448nam a22003858i 4500
001			CR9780511629181
003			UkCbUP
005			20200124160334.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			090918s1980||||enk o ||1 0|eng|d
020			_a9780511629181 (ebook)
020			_z9780521235433 (paperback)
040			_aUkCbUP _beng _erda _cUkCbUP
050	0	0	_aQA9.615 _b.L64 1979
082	0	0	_a511.3 _219
111	2		_aLogic Colloquium _d(1979 : _cLeeds, Yorkshire)
245	1	0	_aRecursion theory : _bits generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / _cedited by F.R. Drake and S.S. Wainer.
246	3		_aRecursion Theory, its Generalisations & Applications
264		1	_aCambridge : _bCambridge University Press, _c1980.
300			_a1 online resource (319 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aLondon Mathematical Society lecture note series ; _v45
500			_aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
520			_aRecursion theory - now a well-established branch of pure mathematics, having grown rapidly over the last 35 years - deals with the general (abstract) theory of those operations which we conceive as being `computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR).
650		0	_aRecursion theory _vCongresses.
650		0	_aRecursive functions _vCongresses.
700	1		_aDrake, F. R. _q(Frank Robert), _eeditor.
700	1		_aWainer, S. S., _eeditor.
776	0	8	_iPrint version: _z9780521235433
830		0	_aLondon Mathematical Society lecture note series ; _v45.
856	4	0	_uhttps://doi.org/10.1017/CBO9780511629181
999			_c522833 _d522831