Epstein, Richard L., Carnielli, Walter A. Computability. Computable functions, logic, and the foundations of mathematics. With "Computability and undecidability – a timeline. The story of the development of computable functions and the undecidability of arithmetic to 1970" by Richard L. Epstein. 2nd ed. (English) [B] Belmont, CA: Wadsworth/Thomson Learning. 299 p., 38 p. (2000). ISBN 0-534-54644-7.

This is one of the most approachable textbooks concerning the difficult fundamental logical problems such as computability, undecidability, incompleteness, consistency, followed by the corresponding philosophical background, written by two world-renowned logicians [for a review of the first edition (Wadsworth, Pacific Grove, CA, 1989), see Zbl 0685.03001]. This second edition includes a number of technical corrections of the first edition, as well as a historical overview of computability theory and undecidability of arithmetic up to 1970, containing all crucial facts necessary to understand properly this part of the evolution history of computability and (un)decidability notions. [B. Boricic (Beograd)]