The Standardization Theorem for λ-Calculus.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 1/2, p. 29, doi. 10.1002/malq.19790250104
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1979 AND VI 25 AND IP 1/2
Results: 4
1
2
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 1/2, p. fmi, doi. 10.1002/malq.19790250101
- Publication type:
- Article
3
Non-Standard Models of Ordinal Arithmetics.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 1/2, p. 5, doi. 10.1002/malq.19790250103
- By:
- Publication type:
- Article
4
Assumption Classes in Natural Deduction.
- Published in:
- Mathematical Logic Quarterly, 1979, v. 25, n. 1/2, p. 1, doi. 10.1002/malq.19790250102
- By:
- Publication type:
- Article