Title: Hyŏndae nollihak
Subjects: Logic