Title: Kigō ronrigaku no kiso
Subjects: Symbolic and mathematical Logic