C. C. Pappus

• Local PDE with Applications to Modern Topological Logic