×

A basis for a mathematical theory of computation. (English) Zbl 0203.16402

Comput. Programm. formal Systems 33-70 (1963).

MSC:

68-XX Computer science
03B70 Logic in computer science
03D80 Applications of computability and recursion theory

Citations:

Zbl 0108.13402