코어논리학 다 읽었는데 다음으로 이 책 어떤거같음?

[익명(39.7)]

http://mobile.kyobobook.co.kr/showcase/book/KOR/9788961055499?orderClick=OwK

코논 다음 단계 난이도 정도되나? 이 책 별로인거 같으면 어떤게 더 좋은지 추천좀 부탁할께. 철학말고 수학에서 논리학이 어떻게 활용되는지 궁금해서 기왕이면 수학 관련 쪽으로 추천해줘라.

[익명(118.235)]

추천!

[익명(39.7)]

감사!

[기괴공학도(thecoqproofassistant)]

(코논 안 읽고) 그냥 읽어도 읽을 만하더라고요. 다만 군데군데 오류가 ..:

[익명(39.7)]

혹시 코논 읽은 다음으로 추천하시는 책 있으신가요? 입문보다 좀 더 어려운 것도 읽어보고 싶은데

[기괴공학도(thecoqproofassistant)]

저 책은 수리논리 쪽으로는 완전성 정리도 증명하지 않습니다. 꽤 집합론 쪽이에요.

[기괴공학도(thecoqproofassistant)]

추천할 수 있을 정도로 한글 책을 많이 알지 못합니다

[익명(210.117)]

계산가능성과 논리. 절판됐는데 대학 도서관엔 있을듯

[1234(121.160)]

그거 책이ㅜ친절하지가 않아서 집합론 첨 공부하면 난 비추.