4년 전쯤 <논리적 추론과 증명> 1회독했는데

[익명(223.38)]

논리학 일독하려면 그냥 같은 책 다시 보는 게 낫나?

아니면 새롭게 볼 책 있음?

<코어 논리학>은 목차 훑으니

이름만 다르지 <논리적 추론과 증명> 개정판인 것 같고...

문제집 풀듯이 풀까 생각 중인데 추천 좀

- dc official App

[익명(110.11)]

공부 목표 수준을 말하셈.

[익명(223.38)]

뇌에 기름칠할 겸 문제풀고 싶은 수준인데 <논리적 추론과 증명>보다 쉬우면 좀 노잼일 듯한? 이론적으로 대학원 수준으로 깊게 들어갈 생각은 없긴 함 - dc App

[익명(110.11)]

그러면 1st-order logic with equality에 대한 natural deduction system과 compacteness theorem의 증명까지 소개해주는 책을 추천함.

[익명(223.38)]

어떤 책을 추천하심? - dc App

[익명(110.11)]

여기서 추천하는 책들.
https://www.logicmatters.net/resources/pdfs/LogicStudyGuide.pdf
의 5.3절 보셈.
Peter smith의 책이나 Ian Chiswell and Wilfrid Hodges, Mathematical Logic, 혹은 Bergmann의 The Logic Book 정도.
Goldrei 건 수학 공부 안 한 사람이 읽기에는 난이도가 꽤 있음. 이 책은 추상대수학 혹은 해석학의 Group, field 개념 정도는 알고 읽는 게 좋음.