Andre Hirschowitz · 2 obras en el catálogoObrasTheorem proving in higher order logicsVector Bundles and Differential Equations