Quantifier Elimination for Distributive Lattices and Measure Algebras.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 249, doi. 10.1002/malq.19850311407
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1985 AND VI 31 AND IP 14-18
Results: 11
1
2
A Completeness Theorem for the Lambek Calculus of Syntactic Categories.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 235, doi. 10.1002/malq.19850311405
- By:
- Publication type:
- Article
3
[Russian Text Ignored].
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 263, doi. 10.1002/malq.19850311408
- Publication type:
- Article
4
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. fmi, doi. 10.1002/malq.19850311401
- Publication type:
- Article
5
On Sparse Complete Sets.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 281, doi. 10.1002/malq.19850311411
- By:
- Publication type:
- Article
6
A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 227, doi. 10.1002/malq.19850311404
- By:
- Publication type:
- Article
7
A Note on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 279, doi. 10.1002/malq.19850311410
- By:
- Publication type:
- Article
8
A Generalization of a Theorem of H. Friedman.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 221, doi. 10.1002/malq.19850311403
- By:
- Publication type:
- Article
9
Some Algebraic Structures Determined by Closure Operators.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 275, doi. 10.1002/malq.19850311409
- By:
- Publication type:
- Article
10
Numeration Models of λ-Calculus.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 209, doi. 10.1002/malq.19850311402
- By:
- Publication type:
- Article
11
On Some Subsystems of Dummett's LC.
- Published in:
- Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 243, doi. 10.1002/malq.19850311406
- By:
- Publication type:
- Article