Title: Ronri sūgaku
Subjects: Symbolic and mathematical Logic