|
1 |
The Early Wittgenstein on the Theory of Types
Park, Jeong-il;
/
Korean Association for Logic
, v.21, no.1, pp.1-37,
|
|
2 |
Set-Theoretical Kripke-Style Semantics for an Extension of HpsUL, CnHpsUL*
Yang, Eunsuk;
/
Korean Association for Logic
, v.21, no.1, pp.39-57,
|
|
3 |
Liar-Type Paradoxes and Intuitionistic Natural Deduction Systems
Choi, Seungrak;
/
Korean Association for Logic
, v.21, no.1, pp.59-96,
|
|
4 |
Mathematics as Syntax: Gödel's Critique and Carnap's Scientific Philosophy
Lee, Jeongmin;
/
Korean Association for Logic
, v.21, no.1, pp.97-133,
|
|