A Reduction of the Recursion Scheme
✍
M. D. Gladstone
📂
Article
📅
1968
🏛
Association for Symbolic Logic
🌐
English
⚖ 386 KB