References
W. D. Maurer,A theory of computer instructions, Jour. ACM, Vol. 13, No 2, 226–235, (1966).
Z. Pawlak,About the notion of a program. A manuscript received from the author, January, 1967.
Wang Hao,A survey of mathematical logic, Sc. Press-Peking..., Amsterdam, (1964).
A. Schurmann,Application of graphs to [...] loops in a program, Infor. Control, 7 (1964), 275–282.
A. Grzegorczyk,Zarys logiki matematycznej [Outline of mathematical logic], PWN, Warsaw (1961).
A. Grzegorczyk,On the definition of computable functionals, Fund. Math. 42 (1955), 232–239.
S. C. Kleene,Introduction to metamathematics, Amsterdam 1952. [Russian translation, Moscow 1957].
M. Davis,Computability and unsolvability, New York (1958).
Author information
Authors and Affiliations
Additional information
Allatum est die 29 Januarii 1968
Rights and permissions
About this article
Cite this article
Schurmann, A. Functions computable by a computer. Stud Logica 27, 57–71 (1971). https://doi.org/10.1007/BF02282547
Issue Date:
DOI: https://doi.org/10.1007/BF02282547