Cut Elimination in ε-Calculi.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 20/21, p. 311, doi. 10.1002/malq.19820282004
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1982 AND VI 28 AND IP 20/21
Results: 4
1
2
Systems With Parity Quantifiers.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 20/21, p. 297, doi. 10.1002/malq.19820282003
- By:
- Publication type:
- Article
3
The Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 20/21, p. 285, doi. 10.1002/malq.19820282002
- By:
- Publication type:
- Article
4
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1982, v. 28, n. 20/21, p. fmi, doi. 10.1002/malq.19820282001
- Publication type:
- Article