01465nam a2200385 c 4500001001500000005001500015008004100030020003100071040001900102041001300121049006500134052002200199052001600221056001100237082001200248245015300260246002800413260003600441300003100477490002300508500002200531500002400553504001700577580008100594653004100675700005300716700006200769700002300831700005400854700002600908776005800934900003900992900003701031950001101068KMO199701731  20181106140713970219s1996    ulka          001   kor    a893100270Xg03170:c\15000  a011001c0110011 akorheng1 lEM1479645lEM1479646c2lAV494892v3fOBlAV494893v3c2fOB01a174b불832ㄱ김31a082.1b1c3  a174240 a16021900a계산가능성과 논리:b수리논리학 입문/d조지 불로스;e리차드 제프리 [공]지음;e김영정;e최훈;e강진호 [공]옮김19aComputability and logic  a서울:b문예출판사,c1996  axvii,379p.:b삽도;c23cm00a哲學思想叢書  aBoolos, George S.  aJeffrey, Richard C.  a색인수록  a국립중앙도서관 원문정보 데이터베이스(database)로 구축됨  a계산a논리aCOMPUTABILITYaLOGIC1 aBoolos, George S.,d1940-19960KAC2018O21544aut1 aJeffrey, Richard C.,d1926-2002,e공지음0KAC2018M48971 a김영정,e옮김1 a최훈,g崔勳,d1967-,e공옮김0KAC2012062681 a강진호,e공옮김1 c컴퓨터파일.t2000년 주요자료원문정보 DB10a리차드 제프리 C.,d1940-199610a불로스, 조지 S.,d1940-19960 b\15000