고딩 때 이과였고, 대학 전공은 수학 안하는 생명 계열이고,


직장도 수학은 거의 필요없는 일인데


수학, 물리에 관심이 가서 독학으로 토마스 칼률러스 1회독 하고 


프리드버그 선형대수 읽고 있는 직장인인데요




수리논리학을 좀 깊게 공부해보고 싶어 교재 추천 부탁드립니다.


수리논리학 공부의 목적, 이유는 


책 "괴델, 에셔, 바흐"를 읽었는데, 괴델의 불완전성 정리를 더 깊이 이해하고 싶은데


수리논리학적 지식이 필요하다 느꼈고, 수학책을 보다보니 증명의 코어는 결국 논리학에 있는거 같아서


집합, 논리 이쪽을 좀 더 봐보고 싶은데 교재 추천 좀 해주세요. 국문을 선호합니다.




대학교에서 수리논리 교재로는 주로 무슨 교재를 쓰나요??