몇몇 SC정리들.pdf
Wk14:괴델의 증명.pdf
Wk13:형식화된 이론들.pdf
Wk12:동일성과 항들.pdf
Wk11:약간의 메타정리들.pdf
Wk10:L의 추론규칙들.pdf
Wk09:해석과 타당성.pdf
Wk07:동어반복적 문장들II.pdf
Wk06:동어반복적 문장들I.pdf
Wk05:형식언어 L.pdf
Wk04:보다 정도높은 예비사항들 II.pdf
Wk03:보다 정도높은 예비사항들I.pdf
Wk02:논리학이란 무엇인가II.pdf
Wk01:논리학이란 무엇인가I.pdf
2017년 봄 경상대 중간고사 문제유형