서울대는 괴델의 불가능성 정리 가르치나요?

지금은 Bergmann의 The logic book (마지막 챕터 빼고) 다 읽고, Goldrei 의 Propositional and Predicate calculus 책 읽고 있습니다.

그 대학교에서 어떤 책을 쓰는지를 봐야, 어떤 식으로 공부해야 할 지 그 틀을 잡는 데 도움이 되거든요.

'대학교에서 실제로 ~~게 가르치고 있다.'는 정보는 인터넷에서 검색한 자료보다 더 신뢰가 가고, 교재 선정 및 선수 지식 등은 어떤 게 있는지를 확인하는 데 도움이 되거든요.