Masthead.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 13, p. fmi, doi. 10.1002/malq.19850311301
- Publication type:
- Article
Works matching IS 09425616 AND DT 1985 AND VI 31 AND IP 13
Results: 3
1
2
A Descending Chain of Incomplete Extensions of Implicational S 5.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 13, p. 201, doi. 10.1002/malq.19850311303
- By:
- Publication type:
- Article
3
Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 13, p. 193, doi. 10.1002/malq.19850311302
- By:
- Publication type:
- Article