Boolean Algebra
iit maths - polynomials and quadratics, integration, circle
E-ch4 Topological Constructions
Programming Language Semantics Rely/Guarantee Reasoning Parallel Programs Tal Lev-Ami Viktor Vafeiadis Mooly Sagiv.
Programming Language Semantics Rely/Guarantee Reasoning Parallel Programs
ANSI Common Lisp