000			01756nam a22003378i 4500
001			CR9781316717301
003			UkCbUP
005			20200124160209.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			160217s2016||||enk o ||1 0|eng|d
020			_a9781316717301 (ebook)
020			_z9781107168435 (hardback)
040			_aUkCbUP _beng _erda _cUkCbUP
050		4	_aQA9.6 _b.S23 2016
082	0	4	_a511.3 _223
100	1		_aSacks, Gerald E., _eauthor.
245	1	0	_aHigher recursion theory / _cGerald E. Sacks.
264		1	_aCambridge : _bCambridge University Press, _c2016.
300			_a1 online resource (xv, 344 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	0		_aPerspectives in Logic ; _v2
500			_aTitle from publisher's bibliographic system (viewed on 18 Apr 2017).
520			_aSince their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the second publication in the Perspectives in Logic series, is an almost self-contained introduction to higher recursion theory, in which the reader is only assumed to know the basics of classical recursion theory. The book is divided into four parts: hyperarithmetic sets, metarecursion, α-recursion, and E-recursion. This text is essential reading for all researchers in the field.
650		0	_aRecursion theory.
776	0	8	_iPrint version: _z9781107168435
830		0	_aPerspectives in Logic ; _v2.
856	4	0	_uhttps://doi.org/10.1017/9781316717301
999			_c515652 _d515650