조선후기 '西學中國源流說'의 전개와 그 성격

盧大煥

역사학보

2003 .06

타르스키 定理, 처치 定理, 그리고 괴델 定理

金泳楨

철학

1987 .05

A Reanalysis of PRO and pro

Kee-Seok Cho

신영어영문학

2007 .08

괴델 불완전성 정리에서 유도 안될 수도 있는 명제

김상문

철학연구

1987 .12

A Note on Fixed Point Theorems in Banach Spaces

Hyen Yeal Lee ,  Oan Sye Kim

코기토

1978 .12

An Optimality-theoretic Analysis for Cross-Linguistic Edge Prominence

Gwan Hi Yun

언어과학연구

2008 .03

쿠르트 괴델의 수학적 신학 : 불완전성 정리, 무한, 하나님에 관한 존재론적 증명

현우식

한국기독교신학논총

2007 .01

무모순성으로부터 불완전성까지:힐버트 계획과 괴델의 불완전성 정리의 철학적 연구

최병일

철학과 현실

1997 .09

칸트의 실천 형이상학과 최고선

문성학

철학연구

2003 .08

삶의 불확정성과 은유로서의 수학적 증명 : 데이비드 오번의 Proof

정병언

현대영미드라마

2003 .08

명제 계산의 형식화와 인식론적 해석

문장수 ,  전재원

철학논총

2002 .04

양자현상과 상황적 실재주의

김명석

철학연구

2003 .08

베이즈의 베이즈주의

이영의

철학연구

2005 .03

수학적 참과 증명가능성

정계섭

논리연구

2005 .01

＂Logical Necessity Based on Carnap's Criterion of Adequacy＂

Nino B. Cocchia ,  ella

논리연구

2002 .01

선험적 주관의 순환성과 후설 현상학

박승억

철학연구

2011 .09

요한복음에 나타난 동일화의 논리

현우식

신약논단

2010 .12

국어 문법교육 내용으로서의 ‘쟁점’의 재조명

김은성

국어국문학

2020 .06

仲哀記の構想ー王權の描き方をめぐってー

김상규

日本學硏究

2005 .01