Vampire$
John Steakley
Algebraic Logic
Semen G. Gindikin
Aesthetic Order: A Philosophy of Order, Beauty and Art
Ruth Lorand
Fundamentals of Mathematics Differential Calculus
Sanjay Mishra
The Design of Web APIs
Arnaud Lauret
Modeling and Simulation in Python
Jason M. Kinser