Concepts of Proof in Mathematics, Philosophy, and Computer Science
Dieter Probst & Peter Schuster
Ontos Mathematical Logic (6)
Towards a Philosophy of Real Mathematics
David Corfield
Bringing Down the Krays
Bobby Teale
Designing Data-Intensive Applications
Kleppmann, Martin
Integral Politics - A Spiritual Third Way - AQAL Vol1 No2
Gregory Wilpert
The Secret Life of Numbers: 50 Easy Pieces on How Mathematicians ...
George G. Szpiro & George Szpiro
Prime Obsession: Bernhard Riemann and the Greatest Unsolved ...
John Derbyshire