Works matching IS 09425616 AND DT 1990 AND VI 36 AND IP 6
Results: 9
Algorithmic aspects of Z[x<sub>1</sub>,...,x<sub>n</sub>] with applications to tiling problems.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 6, p. 493, doi. 10.1002/malq.19900360603
- By:
- Publication type:
- Article
On some categories of partial enumerated sets.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 6, p. 541, doi. 10.1002/malq.19900360607
- By:
- Publication type:
- Article
Weak axioms of determinacy and subsystems of analysis I: δ.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 6, p. 481, doi. 10.1002/malq.19900360602
- By:
- Publication type:
- Article
Note on algebraic models for relevance logic.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 6, p. 535, doi. 10.1002/malq.19900360606
- By:
- Publication type:
- Article
Stratified and positive comprehension seen as superclass rules over ordinary set theory.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 6, p. 519, doi. 10.1002/malq.19900360605
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 6, p. fmi, doi. 10.1002/malq.19900360601
- Publication type:
- Article
Corrections to 'preservation and interpolation through binary relations between theories'.
- Published in:
- 1990
- By:
- Publication type:
- Erratum
The number of {□, →}-logics.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 6, p. 517, doi. 10.1002/malq.19900360604
- By:
- Publication type:
- Article
Zusammenhang zwischen der Theorie F der Faktorenimplikation und der Theorie der Zylinderalgebren, Reduktion der Vollständigkeit der Axiome von F.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 6, p. 561, doi. 10.1002/malq.19900360608
- By:
- Publication type:
- Article