000 00620nam a22001817a 4500
003 SNU
005 20130531163535.0
008 130531b xxu||||| |||| 00| 0 eng d
020 _a9780393327601
082 _a510.92 GOL
100 _aGoldstein, Rebecca,
245 _a Incompleteness
_b : the proof and paradox of Kurt Gödel
_c/Rebecca Goldstein
260 _aNew York
_b: W.W. Norton,
_c©2005.
300 _a296 p.
_b; 21 cm.
440 _aGreat discoveries.
655 _bLogicians -- United States -- Biography.
_b, Logicians
_b, Proof theory
_b, United States
_b, Archive
_band Incompleteness
942 _2ddc
_c RBM
999 _c8663
_d8663