[[TableOfContents]]

== 개요 ==
 * 논리학, 특히 수리논리학 스터디
 * 수리논리학/집합론 등 기초 스터디
 * 목요일 오후 예정(조정 가능)
 * 참고 서적 :
  * [[http://www.kyobobook.co.kr/product/detailViewEng.laf?ejkGb=BNT&mallGb=ENG&barcode=9781447141280&orderClick=LAG&Kc= mathematical logic for computer science]]
  * [[http://www.kyobobook.co.kr/product/detailViewKor.laf?ejkGb=KOR&mallGb=KOR&barcode=9788961055499&orderClick=LAG&Kc= 수리논리와 집합론 입문]]
  * [[https://library.cau.ac.kr/#/search/detail/148744|계산가능성과 논리 : 수리논리학 입문]]
== 인원 ==
 * [성훈]
 * [강제순]
== 진행내역 ==
 * [/9_13|9월13일]
 * [/9_27|9월27일] : 신규 인원 추가로 인하여, 13일 내용 복습
 * [/10_4|10월4일]
 * [/11_1|11월1일]
 * [/11_8|11월8일]
== 기타/방명록 ==