PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Totalitarianism
Hannah Arendt
Aristotelis-Categ[..]
Aristotle
Fluid Simulation for Computer Graphics, Second Edition
Robert Bridson