Free to read

Jean H. Gallier

2 free books by Jean H. Gallier.

Differential Geometry and Lie Groups: A Computational Perspective (and A Second Course)
2020 · 2020 · Read at www.cis.upenn.edu ↗
Logic for Computer Science: Foundations of Automatic Theorem Proving
2nd edition (Dover, 2015) · 2015 · Read at www.cis.upenn.edu ↗