A model for barrecursion of higher types
B. Scarpellini (1971)
Compositio Mathematica
Similarity:
The search session has expired. Please query the service again.
B. Scarpellini (1971)
Compositio Mathematica
Similarity:
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
Andrzej Grzegorczyk (1955)
Fundamenta Mathematicae
Similarity:
Leon Henkin (1963)
Fundamenta Mathematicae
Similarity:
G. Kreisel (1952)
Fundamenta Mathematicae
Similarity:
Leon Henkin (1950)
Fundamenta Mathematicae
Similarity:
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
P. C. Gilmore (1956-1958)
Compositio Mathematica
Similarity:
Andrzej Mostowski (1950)
Fundamenta Mathematicae
Similarity:
John Myhill (1950)
Fundamenta Mathematicae
Similarity: