어째서인지는 모르겠는데 스터디 할 사람들 모여있는 채팅방이 터져버려서 다시 모아보려고 해


아마도 교재의 정해진 분량을 번역하고 서로 돌려보면서 번역을 교정하고, 연습문제가 있으면 서로 풀이를 공유하는 형태로 되지 않을까 해


예상되는 교재는 다음 목록 중 하나를 아무거나 고를 생각이야


형식논리 관련된 교재라면 딱히 저쪽에 있는 교재 중에 하나가 아니라도 같이 읽을 수 있지 않을까 해


어차피 아래 책들 다 읽을것도 아니고 그냥 평소에 읽어보고 싶었던 책들 모아놓은 거라 딱히 빡세게 부담 가질 필요는 없을 것 같아


Chang, C. C. et al. Model Theory.

Hodges, W. Model Theory.

Girard, J-Y. Proofs and Types.

Troelstra, A. et al. Basic Proof Theory.

Barendregt, H. Reflection.

Barendregt, H. The Lambda Calculus.

Smullyan, R. Diagonalization and Self-Reference.


van Dalen, D. Logic and Structure.

Hodges, W. et al. Mathematical Logic.

Gallier, J. Logic for Computer Science.

Andrews, P. B. An Introduction to Mathematical Logic and Type Theory.