Logic Paper
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