Search alternatives:
computer programs » computer program

1
by Turing, Alan
Published 2001
Elsevier Science
Table of Contents: ... Computability and?-definability. 1937 The p-function in? -- K Conversion -- Chapter 4. 1938 Systems of Logic...