S. C. Kleene. λ-definability and recursiveness. Duke mathematical journal, Bd. 2 (1936), S. 340–353.
- 12 March 1937
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 2 (1) , 38-39
- https://doi.org/10.2307/2268802
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: