Title: Surironrigaku josetsu
Subjects: Symbolic and mathematical Logic