@ -426,6 +426,7 @@ Books that cover a specific programming language can be found in the [BY PROGRAM
* [A Computational Introduction to Number Theory and Algebra](https://shoup.net/ntb/) - Victor Shoup
* [A Computational Logic (1979)](https://www.cs.utexas.edu/users/boyer/acl.pdf) - Robert S. Boyer, J Strother Moore (PDF)
* [A Cool Brisk Walk Through Discrete Mathematics](http://stephendavies.org/brisk.pdf) - Stephen Davies (PDF)
* [A First Course in Complex Analysis](http://math.sfsu.edu/beck/complex.html) - Matthias Beck, Gerald Marchesi, Dennis Pixton, Lucas Sabalka
* [A First Course in Linear Algebra](http://linear.ups.edu) - Rob Beezer
* [A Friendly Introduction to Mathematical Logic](https://milneopentextbooks.org/a-friendly-introduction-to-mathematical-logic/) - Christopher C. Leary, Lars Kristiansen