[일반] 코어논리학 다음에 볼 책 추천좀

[익명(58.234)]

계산가능성과 논리 이거 괜찮??

1차논리가 결정불가능한 이유, 수학적 귀납법이 1차 논리로 서술될 수 없는 이유, 불완전성 정리가 적용되는 범위 등등에 대해 자세히 알고 싶음

[익명(182.226)]

코어논리학 재밌나요? - dc App

[익명(58.234)]

논리학이나 분석철학 좋아하면 쟈밌죠

[익명(211.181)]

표상의 언어에서 추론의 언어로, 코어논리학 집필한 이병덕 교수의 다른 저서임. - dc App