Author: Zhao, Ping (Logician)
Title: (Logician)