Title: Introductory Differential Logic with Applications to Analytic Galois Theory