KAML
학회 소식
  • 이계식 교수(한경대)는 ASL East Asia committee의 새 위원이 되었습니다. (ASL 홈페이지 참조)

  • 김병한 교수(연세대), 박창균 교수(서경대), 현우식 교수(호서대) 번역의 괴델전기 '논리적 딜레마'가 대한수리논리학회 수리논리 연구 시리즈 2권으로 경문사에서 2016년 출간되었습니다.

  • 계승혁 교수(서울대)의 저서 '집합과 수의 체계'가 대한수리논리학회 수리논리 연구 시리즈 3권으로 경문사에서 2015년 출간되었습니다.

  • The 15th Asian Logic Conference가 2017년 한국에서 열립니다. 많은 참여와 성원을 부탁드립니다.(ASL 홈페이지 참조)

  • 이계식 교수(한경대)는 2015년 1월 인도 뭄바이의 IIT에서 열린 The 14th Asian Logic Conference의 Proof Theory Special Session에서 초청강연을 하였습니다.

  • 김병한 교수(연세대)의 저술 'Simplicity Theory'가 2014년 옥스퍼드 대학 출판부에서 Oxford Logic Guides 53권으로 출간되었습니다.

  • 김병한 교수(연세대)는 2014년 8월 서울에서 열린 세계수학자대회(International Congress of Mathematicians)의 수리논리 및 기초론(Logic and Foundation) 섹션에서 동아시아인 최초로 초청강연을 하였습니다.

  • 현우식 교수(호서대)의 저서 '신의 존재에 대한 괴델의 수학적 증명'이 2013년 경문사에서 출판되었습니다.

  • 정주희 교수(경북대)의 저서 '수리논리와 집합론 입문'이 대한수리논리학회 수리논리 연구 시리즈 1권으로 경문사에서 2012년 출간되었습니다.