000			00895nam a22002777a 4500
003			IIITD
005			20250508151826.0
008			250502b |||||||| |||| 00| 0 eng d
020			_a9783662695494
040			_aIIITD
082			_a511.3 _bHOF-G
100			_aHoffmann, Dirk W.
245			_aGodel's incompleteness theorems : _ba guided tour through Kurt Godel's historic proof _cby Dirk W. Hoffmann
260			_aGermany : _bSpringer, _c©2024
300			_axix, 385 p. : _bcol. ill. ; _c24 cm.
504			_aIncludes bibliographical references and index.
505			_t1. Introduction
505			_t2. Foundations of mathematics
505			_t3. Proof sketch
505			_t4. System P
505			_t5. Primitive-recursive functions
505			_t6. The limits of mathematics
650			_aMathematical logic and foundations
650			_aGodel's theorem
942			_cBK _2ddc
999			_c190009 _d190009