A Bridge to Advanced Mathematics (Sally: Pure and Applied Undergraduate Texts) by Sebastian M. Cioabă, Werner Linde English | December 21, 2022 | ISBN: 1470471485 | 525 pages | PDF | 9.06 Mb
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel, "Isabelle/HOL: A Proof Assistant for Higher-Order Logic" 2002 | pages: 231 | ISBN: 3540433767 | PDF | 0,8 mb
The Higher Arithmetic: An Introduction to the Theory of Numbers, 8th Edition by Harold Davenport English | November 17, 2008 | ISBN: 0521722365 | True EPUB | 250 pages | 5.4 MB