논리를 공부하긴 했는데
전산에서 쓰이는 증명이론이랑 계산가능성이론 이런쪽으로 파서
대수나 집합론 쪽은 하나도 모름

현대적 수학기초론이니 뭐니 하니까 앞으로 논리 해먹으려면 알아두는게 좋을거같긴 한데
워낙 개념도 많고 노테이션도 복잡해서 어지럽다
nlab 새끼들 들여다보면 전부다 카테고리로 설명하고 있는 고인물들이고

암튼 입문서 추천좀