Explore
keyword: Mathematics – 14 free books.
These Creative Commons Attribution-ShareAlike licensed ebooks are free to read - the people who created them want you to read and share them.
You are free to: copy and redistribute the material in any medium or format; remix, transform, and build upon the material; for any purpose, even commercially. Under the following terms: You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. If you remix, transform, or build upon the material, you must distribute your contributions under the same license as the original.
Homotopy Type Theory: Univalent Foundations of Mathematics
The Univalent Foundations Program, Institute for Advanced Study
Structure and Interpretation of Computer Programs
Harold Abelson and Gerald Jay Sussman
Peter Schroeder-Heister on Proof-Theoretic Semantics
Thomas Piecha and Kai F. Wehmeier, editors
Erhard Weigel (1625-1699) und seine Schüler
Katharina Habermann and Klaus-Dieter Herbst, editors
Erhard Weigel (1625-1699) und Seine Schüler
Katharina Habermann and Klaus-Dieter Herbst