000 00690nam a22002174a 4500
999 _c43190
_d43190
003 IN-MiVU
005 20240718134921.0
008 071030s2007 nyua fr 001 0 eng
020 _a9780521674539
_cRs.
_q(Pbk)
040 _aMAIN
_beng
_cIN-MiVU
082 0 4 _221st
_a511.3
_bSMI/I
100 1 _aSmith, Peter,
_eauthor
245 1 3 _aAn introduction to Gödel's Theorems/
_cPeter Smith.
260 3 _aNew York:
_bCambridge University Press,
_c2007.
300 _axiv, 361 p.:
_c26 cm.
440 0 _aCambridge introductions to philosophy
504 _aIncludes bibliographical references and index.
650 0 _aGODEL THEOREMS
650 0 _aLOGIC- SYMBOLIC MATHEMATICS
942 _2ddc
_cBK