2013년 11월 30일 (토) 05:26 판 편집 Juniuswikiae (토론 \| 기여) 809 편집 편집 요약 없음 ← 이전 편집		2013년 11월 30일 (토) 05:26 판 편집 편집 취소 Juniuswikiae (토론 \| 기여) 809 편집 편집 요약 없음 다음 편집 →
7번째 줄: {{집합론}} {{논리학}} {{컴퓨터 과학}} [[분류:형 이론\| ]]

유형 이론: 두 판 사이의 차이