Logic은 꼬꼬마라서 시간 남는 4개월동안 공부하려고 하는데저 undefinability theorem까지 공부하려면 무슨 책을 읽어야 함?Enderton logic 뒤에 무엇을 읽는 게 좋음?혹시 Enderton 안에 있나?
수리논리 ㄷㄷ - dc App
Boolos - Computability and Logic 하나면 충분함