000			02738nam a22004455i 4500
001			978-0-387-31609-3
003			DE-He213
005			20250710083948.0
007			cr nn 008mamaa
008			100301s2006 xxu| s |||| 0|eng d
020			_a9780387316093 _a99780387316093
024	7		_a10.1007/0-387-31609-4 _2doi
082	0	4	_a511.3 _223
100	1		_aMoschovakis, Yiannis. _eauthor.
245	1	0	_aNotes on Set Theory _h[recurso electrónico] / _cby Yiannis Moschovakis.
250			_aSecond Edition.
264		1	_aNew York, NY : _bSpringer New York, _c2006.
300			_aXII, 284 p. 48 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aUndergraduate Texts in Mathematics, _x0172-6056
505	0		_aEquinumerosity -- Paradoxes and Axioms -- Are Sets All There is? -- The Natural Numbers -- Fixed Points -- Well Ordered Sets -- Choices -- Choice's Consequences -- Baire Space -- Replacement and Other Axioms -- Ordinal Numbers.
520			_aThe axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and deep open problems. At the same time, it is often viewed as a foundation of mathematics so that in the most prevalent, current mathematical practice "to make a notion precise" simply means "to define it in set theory." This book tries to do justice to both aspects of the subject: it gives a solid introduction to "pure set theory" through transfinite recursion and the construction of the cumulative hierarchy of sets, but it also attempts to explain precisely how mathematical objects can be faithfully modeled within the universe of sets. In this new edition the author added solutions to the exercises, and rearranged and reworked the text in several places to improve the presentation. The book is aimed at advanced undergraduate or beginning graduate mathematics students and at mathematically minded graduate students of computer science and philosophy.
650		0	_aMATHEMATICS.
650		0	_aCOMPUTER SCIENCE.
650		0	_aLOGIC, SYMBOLIC AND MATHEMATICAL.
650	1	4	_aMATHEMATICS.
650	2	4	_aMATHEMATICAL LOGIC AND FOUNDATIONS.
650	2	4	_aMATHEMATICAL LOGIC AND FORMAL LANGUAGES.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9780387287225
830		0	_aUndergraduate Texts in Mathematics, _x0172-6056
856	4	0	_uhttp://dx.doi.org/10.1007/0-387-31609-4 _zVer el texto completo en las instalaciones del CICY
912			_aZDB-2-SMA
942			_2ddc _cER
999			_c57148 _d57148