On Limiting the Applications of the Uniqueness Rules in The Equation Calculus.
- Published in:
- Mathematical Logic Quarterly, 1973, v. 19, n. 8-10, p. 115, doi. 10.1002/malq.19730190802
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1973 AND VI 19 AND IP 8-10
Results: 5
1
2
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1973, v. 19, n. 8-10, p. fmi, doi. 10.1002/malq.19730190801
- Publication type:
- Article
3
Berechenbare Reelle Funktionen.
- Published in:
- Mathematical Logic Quarterly, 1973, v. 19, n. 8-10, p. 121, doi. 10.1002/malq.19730190804
- By:
- Publication type:
- Article
4
Eine Entscheidbare Klasse Von Kromformeln.
- Published in:
- Mathematical Logic Quarterly, 1973, v. 19, n. 8-10, p. 117, doi. 10.1002/malq.19730190803
- By:
- Publication type:
- Article
5
Cut Elimination in Transfinite Type Theory.
- Published in:
- Mathematical Logic Quarterly, 1973, v. 19, n. 8-10, p. 141, doi. 10.1002/malq.19730190805
- By:
- Publication type:
- Article