Title: 現代論理入門
Subjects: Symbolic and mathematical Logic