000			01959nam a22003498i 4500
001			CR9781316716854
003			UkCbUP
005			20200124160209.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			160211s2016||||enk o ||1 0|eng|d
020			_a9781316716854 (ebook)
020			_z9781107167926 (hardback)
040			_aUkCbUP _beng _erda _cUkCbUP
050		4	_aQA9.65 _b.L56 2016
082	0	4	_a511.3 _223
100	1		_aLindström, Per, _d1936- _eauthor.
245	1	0	_aAspects of Incompleteness / _cPer Lindström.
264		1	_aCambridge : _bCambridge University Press, _c2016.
300			_a1 online resource (x, 131 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aLecture notes in logic ; _v10
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. In this volume, the tenth publication in the Lecture Notes in Logic series, Per Lindström presents some of the main topics and results in general metamathematics. In addition to standard results of Gödel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, this book contains a thorough treatment of partial conservativity and degrees of interpretability. It comes complete with exercises, and will be useful as a textbook for graduate students with a background in logic, as well as a valuable resource for researchers.
650		0	_aIncompleteness theorems.
650		0	_aRecursion theory.
776	0	8	_iPrint version: _z9781107167926
830		0	_aLecture notes in logic ; _v10.
856	4	0	_uhttps://doi.org/10.1017/9781316716854
999			_c515661 _d515659