ƒ-Multipliers and the localization of hilbert algebras.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 331, doi. 10.1002/malq.19900360407
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1990 AND VI 36 AND IP 4
Results: 11
1
2
The union axiom in zermelo set theory.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 281, doi. 10.1002/malq.19900360402
- By:
- Publication type:
- Article
3
Some extensions of built-upness on systems of fundamental sequences.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 357, doi. 10.1002/malq.19900360409
- By:
- Publication type:
- Article
4
Many-valued modal logics: Uses and predicate calculus.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 367, doi. 10.1002/malq.19900360411
- By:
- Publication type:
- Article
5
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. fmi, doi. 10.1002/malq.19900360401
- Publication type:
- Article
6
Non-commutative intuitionistic linear logic.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 297, doi. 10.1002/malq.19900360405
- By:
- Publication type:
- Article
7
The normal depth of filters on an infinite cardinal.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 293, doi. 10.1002/malq.19900360404
- By:
- Publication type:
- Article
8
Weitere Verschärfungen zu den Reduktionstypen ∀∃<sup>∞</sup>∀(0,1), ∃<sup>∞</sup>∀<sup>3</sup>∃(∞, 1).
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 339, doi. 10.1002/malq.19900360408
- By:
- Publication type:
- Article
9
An extension of ono's completeness result.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 365, doi. 10.1002/malq.19900360410
- By:
- Publication type:
- Article
10
Jumps of nontrivial splittings of recursively enumerable sets.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 285, doi. 10.1002/malq.19900360403
- By:
- Publication type:
- Article
11
Fixed points and diagonal method.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 319, doi. 10.1002/malq.19900360406
- By:
- Publication type:
- Article