Borut Robič.

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.