The best of all possible worlds : mathematics and destiny

Ekeland, I. (Ivar), 1944-
Chicago : University of Chicago Press, 2006. 2006

Discrete mathematics and its applications

Rosen, Kenneth H.
Boston : McGraw-Hill Higher Education, c2019. 2019

The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma

Turing, Alan Mathison, 1912-1954
Oxford : Clarendon Press ; New York : Oxford University Press, 2004 2004

G©·odel's proof

Nagel, Ernest, 1901-
New York : New York University Press, [2008], c2001. 2008

A mathematical introduction to logic

Enderton, Herbert B.
San Diego, Calif. : Harcourt/Academic Press, c2001. 2001

What is a number? : mathematical concepts and their origins

Tubbs, Robert, 1954-
Baltimore : Johns Hopkins University Press, 2009. 2009