Works matching IS 09425616 AND DT 1981 AND VI 27 AND IP 13/14
Results: 6
An Absoluteness Theorem.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 13/14, p. 193, doi. 10.1002/malq.19810271302
- By:
- Publication type:
- Article
Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 13/14, p. 215, doi. 10.1002/malq.19810271306
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 13/14, p. fmi, doi. 10.1002/malq.19810271301
- Publication type:
- Article
A Note on Exponential Polynomials and Prime Factors.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 13/14, p. 213, doi. 10.1002/malq.19810271305
- By:
- Publication type:
- Article
Strict Implication in A Sequence of Extensions of S4.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 13/14, p. 201, doi. 10.1002/malq.19810271304
- By:
- Publication type:
- Article
Bounded Properties in Modal Logic.
- Published in:
- Mathematical Logic Quarterly, 1981, v. 27, n. 13/14, p. 197, doi. 10.1002/malq.19810271303
- By:
- Publication type:
- Article