Applied Math Mathematics for machine learning Book of proof Linear Algebra Done Right Mathematical Logic by Kleene