Title: Tungji ŭi ch'ŏrhak
Subjects: Semantics (Philosophy), Logic