El universo de la matemática: Ensayos sobre la filosofía de las matemáticas
1977·filosofia
Colección de ensayos que abordan varios aspectos de la filosofía de las matemáticas, incluyendo los sistemas formales, la paradoja de Russell y las implicaciones de los teoremas de Gödel, escritos por un lógico chino que fue alumno y colaborador de Gödel.