Taking the Stand
Alan M. Dershowitz
From Eudoxus to Einstein: A History of Mathematical Astronomy
C. M. Linton
The World as a Mathematical Game: John Von Neumann and Twentieth ...
Giorgio Israel & Ana Millán Gasca
Bilateral Algorithms for Symbolic Abstraction - Paper
Aditya Thakur & Matt Elder & Thomas Reps
Computational Complexity of Logical Theories
Jeanne Ferrante & Charlis W. Rackoff
NoSQL Essentials: Navigating the World of Non-Relational Databases
Kameron Hussain & Frahaan Hussain