Logic

• 18 Apr, 2014 LEMMON 스타일로 Latex 에서 자연 연역 추론을 표현하기
• 25 Oct, 2006 논증의 재구성에 대한 참고 서적 소개