A Note on the Compactness Theorem in First Order Logic.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 7-9, p. 111, doi. 10.1002/malq.19800260704
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1980 AND VI 26 AND IP 7-9
Results: 7
1
2
An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 7-9, p. 103, doi. 10.1002/malq.19800260703
- By:
- Publication type:
- Article
3
Beschränkte und Unbeschränkte Reduktion von Konjunktionen von Modalitäten in S4.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 7-9, p. 131, doi. 10.1002/malq.19800260707
- By:
- Publication type:
- Article
4
On Intervals in Relational Structures.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 7-9, p. 97, doi. 10.1002/malq.19800260702
- By:
- Publication type:
- Article
5
A Quantifier for Isomorphisms.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 7-9, p. 123, doi. 10.1002/malq.19800260706
- By:
- Publication type:
- Article
6
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 7-9, p. fmi, doi. 10.1002/malq.19800260701
- Publication type:
- Article
7
Fundamental Sequences for Exponential Polynomials.
- Published in:
- Mathematical Logic Quarterly, 1980, v. 26, n. 7-9, p. 115, doi. 10.1002/malq.19800260705
- By:
- Publication type:
- Article