Combinatory recursive objects of all finite types
Open Access
- 1 January 1964
- journal article
- Published by American Mathematical Society (AMS) in Bulletin of the American Mathematical Society
- Vol. 70 (6) , 814-817
- https://doi.org/10.1090/s0002-9904-1964-11245-3
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 3 references indexed in Scilit:
- Recursive objects in all finite typesFundamenta Mathematicae, 1964
- The Paradox of Kleene and RosserTransactions of the American Mathematical Society, 1941
- A Set of Postulates For the Foundation of LogicAnnals of Mathematics, 1933