(1) Computational Intractability: A Guide to Algorithmic Lower Bounds by Erik D. Demaine, William Gasarch and MohammadTaghi Hajiaghayi ISBN: 9780262550772 MIT Press View at publisher
(2) Quasi-Projective and Formal-Analytic Arithmetic Surfaces Jean-Benoît Bost and François Charles ISBN: 9780691287881 Princeton University Press View at publisher
(3) The Story of Proof: Logic and the History of Mathematics John Stillwell ISBN: 9780691234380 Princeton University Press View at publisher
(4) The Winding Trail to Newton's Principia Mathematica Jed Z. Buchwald and Mordechai Feingold ISBN: 9780691287782 Princeton University Press View at publisher
(5) A Little History of Mathematics Snezana Lawrence ISBN: 9780300286984 Yale University Press View at publisher