Logic은 꼬꼬마라서 시간 남는 4개월동안 공부하려고 하는데
저 undefinability theorem까지 공부하려면 무슨 책을 읽어야 함?
Enderton logic 뒤에 무엇을 읽는 게 좋음?

혹시 Enderton 안에 있나?