Recursive objects in all finite types
Author:
- Andrzej GrzegorczykAGAndrzej Grzegorczyk
- 1 January 1964
- journal article
- Published by Institute of Mathematics, Polish Academy of Sciences in Fundamenta Mathematicae
- Vol. 54 (1) , 73-93