Author

Andre Hirschowitz

2 books found

Cover of Vector Bundles and Differential Equations

Vector Bundles and Differential Equations

Andre Hirschowitz · First published 1980

Cover of Theorem proving in higher order logics

Theorem proving in higher order logics

Yves Bertot, Gilles Dowek, Andre Hirschowitz · First published 1999