000 00799nam a22002657a 4500
003 OSt
005 20240624160525.0
008 220823b |||||||| |||| 00| 0 eng d
020 _a9781107606753
040 _c
082 0 4 _a511.3
_bSMI / DST
100 1 _aSmith, Peter
_eAuthor
245 1 3 _aAn introduction to Godel's theorems
250 _a2nd ed.
260 _aCambridge :
_bCambridge University Press,
_c©2013.
300 _axvi, 388 p. :
_bill. ;
_c25 cm (Paperback)
490 1 _aCambridge introductions to philosophy
504 _aIncludes bibliographical references and index.
600 1 0 _aGodel, Kurt
650 0 _aLogic, Symbolic and mathematical.
653 _aGodel numbers
653 _aGodel's theorem
653 _aDecidability (Mathematical logic)
942 _2ddc
_cBK
999 _c3563
_d3563