Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
유형론
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | CHUNG, Inkyo | - |
| dc.date.accessioned | 2021-09-01T15:28:39Z | - |
| dc.date.available | 2021-09-01T15:28:39Z | - |
| dc.date.created | 2021-04-22 | - |
| dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/65731 | - |
| dc.publisher | 대한 수리논리학회 | - |
| dc.subject | 유형론, 분지유형론, 단순유형론, 악순환의 원리, 괴델 | - |
| dc.title | 유형론 | - |
| dc.title.alternative | Theory of Types | - |
| dc.type | Conference | - |
| dc.contributor.affiliatedAuthor | CHUNG, Inkyo | - |
| dc.identifier.bibliographicCitation | 2009 NIMS 수리논리 여름학교 | - |
| dc.relation.isPartOf | 2009 NIMS 수리논리 여름학교 | - |
| dc.citation.title | 2009 NIMS 수리논리 여름학교 | - |
| dc.citation.conferencePlace | KO | - |
| dc.citation.conferencePlace | 대전 | - |
| dc.citation.conferenceDate | 2009-06-18 | - |
| dc.type.rims | CONF | - |
| dc.description.journalClass | 2 | - |
- 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.