I. I. Zheng

• Introductory Differential Logic with Applications to Analytic Galois Theory