English
LIBRARY
연구자
제목
발행일
검색
Search
ScholarWorks 전체 커뮤니티
College of Liberal Arts
Department of Philosophy
1. Journal Articles
적용된 필터:
제목
저자
키워드
발행년도
자료유형
언어
저널
저널 등재 구분
일치
포함
ID
일치하지 않는
포함하지 않는
Not ID
필터 추가:
제목
저자
키워드
발행년도
자료유형
언어
저널
저널 등재 구분
일치
포함
ID
일치하지 않는
포함하지 않는
Not ID
페이지당 결과 수
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
정렬기준
관련도
제목순
발행일순
정렬방법
오름차순
내림차순
표시할 최대 저자 수
제한없음
1
5
10
15
20
25
30
35
40
45
50
전체 결과 4 건 중 1 ~ 4을(를) 표시 중입니다. (검색에 소요된 시간: 0.008초).
KCI
증명론적 타당성의 사소성 문제
정인교
Article
Issue Date
2015
Citation
논리연구, v.18, no.3, pp.307 - 335
Publisher
한국논리학회
KCI
직관주의적 유형론에서의 명제와 판단
정인교
Article
Issue Date
2011
Citation
논리연구, v.14, no.2, pp.39 - 75
Publisher
한국논리학회
KCI
직관주의적 유형론에서의 진리개념
정인교
Article
Issue Date
2013
Citation
논리연구, v.16, no.3, pp.407 - 436
Publisher
한국논리학회
KCI
직관주의적 유형론에서의 분석성과 완전성
정인교
Article
Issue Date
2011
Citation
논리연구, v.14, no.3, pp.101 - 136
Publisher
한국논리학회
1
Discover
저자/발명자/참여자
CHUNG, In kyo
4
키워드
Martin-Löf
3
마틴뢰프
3
프라위츠
2
Analytic Judgement
1
Dag Prawitz
1
Existence of proofs
1
Incompleteness
1
Intuitionism
1
Intuitionistic monomorphic type t...
1
Intuitionistic notion of truth
1
.
다음 >
발행년도
2015
1
2013
1
2011
2
자료유형
Article
4
언어
Korean
4
저널 등재 구분
kci
4
BROWSE
English
연구자
제목
발행일
LIBRARY