Works matching IS 09425616 AND DT 1972 AND VI 18 AND IP 21-24
Results: 2
A Formally Constructive Model for Barrecursion of Higher Types.
- Published in:
- Mathematical Logic Quarterly, 1972, v. 18, n. 21-24, p. 321, doi. 10.1002/malq.19720182102
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1972, v. 18, n. 21-24, p. fmi, doi. 10.1002/malq.19720182101
- Publication type:
- Article