Universal First-Order Definability in Modal Logic.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 19-21, p. 327, doi. 10.1002/malq.19800261904
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1980 AND VI 26 AND IP 19-21
Results: 5
1
2
Lambda-Calculus Models and Extensionality.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 19-21, p. 289, doi. 10.1002/malq.19800261902
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 19-21, p. fmi, doi. 10.1002/malq.19800261901
- Publication type:
- Article
4
A Preservation Theorem for Tense Logic.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 19-21, p. 331, doi. 10.1002/malq.19800261905
- By:
- Publication type:
- Article
5
[Russian Text Ignored.].
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 19-21, p. 311, doi. 10.1002/malq.19800261903
- Publication type:
- Article