Title: Yan tui yu xiang gan
Subjects: Symbolic and mathematical Logic