How To Prove It
Daniel J. Velleman
Babel
R. F. Kuang
The Time Machine
H. G. Wells
Designing Data-Intensive Applications
Kleppmann, Martin
Katabasis
Empire of the Damned
Jay Kristoff
Empire of the Vampire (2)