The Foundations of Computability Theory
- 2nd ed.
- Berlin Heidelberg Springer 2020
9783662624210
Computers. Mathematical logic. Mathematics. History. Theory of Computation. Mathematical Logic and Foundations. History of Computing. History of Mathematical Sciences.