![](/img/cover-not-exists.png)
Kleene S. C.. λ-definability and recursiveness. Duke mathematical journal, Bd. 2 (1936), S. 340–353.
Péter, RózsaVolume:
2
Language:
german
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/s0022481200039505
Date:
March, 1937
File:
PDF, 165 KB
german, 1937