Proofmood
새 버전 출시와 게시판 운영 방침 12-06-06
새 버전 출시에 대하여 12-05-23
Mathematical Logic Lecture Note P.. 12-04-09
사용자 매뉴얼 및 교재 11-12-28
칸토르의 대각정리 (버전2) 12-05-16
Truth Table에 XOR, NAND, NOR 12-05-03
Fitch, 1st-order 기능 추가 12-05-01
교재 6장 보충 12-04-30