Two Applications of Logic to Mathematics 数理逻辑与数学基础
Introduction to Axiomatic Set Theory 数理逻辑与数学基础
Stellar Pulsation - Nonlinear Studies 天体物理学
Axiomatic Set Theory 数理逻辑与数学基础
Nonlinear Phenomena in Stellar Variability 天文学史