Logic Paper
논리와 정리 증명 (Logic and theorem proving) : Patrick Henry Winston
명제논리 (The Propositional Calculus) 명제논리에서의 논리융합 (Resolution in the Propositional Calculus) 술어논리 (The Predicate Calculus) 술어논리 논리융합 (Resolution in the Predicate Calculus) : Nils J.Nilsson
표상과 논리 (Representation and logic) : Thomas Dean. James Allen. John Aloimonos
서술 논리를 이용한 지식의 표기 기타 논리를 사용한 지식의 표기 : Elaine Rich
AI using C : 논리와 불확실성 : Herbert Schildt
기호논리학 : 머리말 기호의 범위와 논리적 구두점 : 소광희
계산가능성과 논리 : George S. Boolos Richard C. Jeffrey
20세기 수리논리학의 사상과 흐름 : 김상문, 현우식, 한국수학사학회, 1995
반시대적 고찰 : 비트겐슈타인과 하이데거의 수리논리학 비판 : 이승종, 한국현상학회, 1999
허구론적 수리철학의 허구적 메타논리학 (The Fictional Metalogic of the Fictionalist Philosophy of Mathematics) : 박우석, 한국철학회, 1993
역수학 계획에서 힐버트의 계획으로 : 힐버트의 실증주의적 수리철학 (From Reverse Mathematics Program To Hilbert`s Program - Hilbert`s Positivistic Philosophy of mathematics) : 최병일, 한국논리학회, 1997
청년 비트겐슈타인의 수리철학 (Young Wittgenstein`s Philosophy of Mathematics) : 이승종, 한국분석철학회, 2000
수학의 적용 (The Application of Mathematics) : 이승종, 한국분석철학회, 2001
모순에 관한 튜링/비트겐슈타인 논쟁 (Turing / Wittgenstein Debate on Contradiction) : 이승종, 철학연구회, 1993
튜링의 다리와 비트겐슈타인의 수학철학 (Turing`s Bridge and Wittgenstein`s Philosophy of Mathematics) : 박정일, 한국논리학회, 2002