Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
유형론Theory of Types
- Alternative Title
- Theory of Types
- Authors
- CHUNG, Inkyo
- Keywords
- 유형론, 분지유형론, 단순유형론, 악순환의 원리, 괴델
- Publisher
- 대한 수리논리학회
- Citation
- 2009 NIMS 수리논리 여름학교
- Conference Name
- 2009 NIMS 수리논리 여름학교
- Place
- KO
대전
- Conference Date
- 2009-06-18
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - College of Liberal Arts > Department of Philosophy > 2. Conference Papers
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.