Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Galileo's Error: Foundations for a New Science of Consciousness
Philip Goff
Theory and Calculations of Electrical Circuits
Charles Proteus Steinmetz
Essential Mathematics for Games and Interactive Applications ...
James M. Van Verth, Lars M. Bishop
"Trickle Down Theory" and "Tax Cuts for the Rich"
Thomas Sowell