000			01953nam a22003618i 4500
001			CR9780511810282
003			UkCbUP
005			20201015164330.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			101021s2003||||enk o ||1 0|eng|d
020			_a9780511810282 (ebook)
020			_z9780521826211 (hardback)
020			_z9780521533614 (paperback)
040			_aUkCbUP _beng _erda _cUkCbUP
050	0	0	_aQA248 _b.F69 2003
082	0	0	_a511.3/22 _221
100	1		_aForster, T. E., _eauthor.
245	1	0	_aLogic, induction and sets / _cThomas Forster.
246	3		_aLogic, Induction & Sets
264		1	_aCambridge : _bCambridge University Press, _c2003.
300			_a1 online resource (x, 234 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aLondon Mathematical Society student texts ; _v56
500			_aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
520			_aThis is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatypes) at the centre of his exposition resulting in a treatment of well established topics that is fresh and insightful. The presentation is engaging, but always great care is taken to illustrate difficult points. Understanding is also aided by the inclusion of many exercises. Little previous knowledge of logic is required of the reader, and only a background of standard undergraduate mathematics is assumed.
650		0	_aAxiomatic set theory.
776	0	8	_iPrint version: _z9780521826211
830		0	_aLondon Mathematical Society student texts ; _v56.
856	4	0	_uhttps://doi.org/10.1017/CBO9780511810282
999			_c121221 _d121221