SOME PROPOSITIONAL CALCULI WITH CONSTANT AND VARIABLE FUNCTORS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 30, p. 477, doi. 10.1002/malq.19840303004
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1984 AND VI 30 AND IP 30
Results: 4
1
2
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 30, p. fmi, doi. 10.1002/malq.19840303001
- Publication type:
- Article
3
TRACE EXPANSIONS OF INITIAL SEGMENTS.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 30, p. 471, doi. 10.1002/malq.19840303003
- By:
- Publication type:
- Article
4
A NOTE ON DECOMPOSITIONS OF RECURSIVELY ENUMERABLE SUBSPACES.
- Published in:
- Mathematical Logic Quarterly, 1984, v. 30, n. 30, p. 465, doi. 10.1002/malq.19840303002
- By:
- Publication type:
- Article