Mathematics and Logic by Kac, Mark; Ulam, Stanislaw M. What stands out about this textbook is the inclusion of historical context.
