01304nam a2200349 k 4500001001300000005001500013008004100028020003100069035001800100041001300118049002800131052001500159056001300174082001400187245014500201246002100346260003000367300002600397440001500423500001800438500002100456504003800477650007100515653007500586700004900661700004800710700004800758900004000806900003400846950001100880963006300891KMO20040131520210528135150040204s2003    ulka          001   kor    a8972824100g03410:c\10000  aUB200400028401 akorheng0 lEM2956624lEM2956625c201a410.1b4-2  a410.1240 a510.122100a괴델의 증명:b쉽게 풀어쓴 괴델의 불완전성 정리/d어니스트 네이글;e제임스 뉴먼 [공]지음;e강주헌 옮김19aG‥odel's proof  a서울:b경문사,c2003  a147p.:b삽도;c21cm00aApple;v01  aNagel, Ernest  aNewman, James R.  a참고문헌: p.140, 색인수록 8a괴델의 불완전성 정리[--不完全性定理]0KSH1998042963  a괴델a증명a불완전성a정리a불완전성정리aGODELaPROOF1 aNagel, Ernest,d1901-19850KAC2001075624aut1 aNewman, James Roy,d1907-19660KAC1996201471 a강주헌,g姜周憲,d1957-0KAC20111616110a네이글, 어니스트,d1901-198510a뉴먼, 제임스,d1907-19660 b\10000  a괴델a불완전성a정리a괴델a무모순성a정리