Browse "Dept. of Digital Humanities and Computational Social Sciences(디지털인문사회과학부)" by Subject 직관주의적 형식주의
Showing results 1 to 1 of 1
| 타르스키의 논리적 귀결 정의의 역사적 배경 박우석, 논리연구, v.17, no.1, pp.33 - 69, 2014-02 |
Discover
Type
- 1,294 Article
- 3 Book chapter
- 673 Conference
- 6 Patent
Open Access
- 21 OA Article