Masthead.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 2, p. fmi, doi. 10.1002/malq.19900360201
- Publication type:
- Article
Works matching IS 09425616 AND DT 1990 AND VI 36 AND IP 2
Results: 9
1
2
On a theorem of Günter Asser.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 2, p. 143, doi. 10.1002/malq.19900360207
- By:
- Publication type:
- Article
3
On subsystems of the system J<sub>1</sub> of Arruda and Da Costa.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 2, p. 95, doi. 10.1002/malq.19900360203
- By:
- Publication type:
- Article
4
The compleat 0†.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 2, p. 133, doi. 10.1002/malq.19900360206
- By:
- Publication type:
- Article
5
The formal language L<sub>t</sub> and topological products.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 2, p. 89, doi. 10.1002/malq.19900360202
- By:
- Publication type:
- Article
6
Some nonstandard methods applied to distributive lattices.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 2, p. 123, doi. 10.1002/malq.19900360205
- By:
- Publication type:
- Article
7
Eine Bemerkung zu spektralen Darstellungen von ϱ-stelligen aufzählbaren und koaufzählbaren Prädikaten durch Ausdrücke aus ∃∀∃<sup>∞</sup> und ∀∃<sup>2</sup>∀(∞, 1).
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 2, p. 163, doi. 10.1002/malq.19900360209
- By:
- Publication type:
- Article
8
Some remarks on ω-powers of enumerated sets and their applications to ω-operations.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 2, p. 149, doi. 10.1002/malq.19900360208
- By:
- Publication type:
- Article
9
A theorem on labelled trees and the limits of its provability.
- Published in:
- Mathematical Logic Quarterly, 1990, v. 36, n. 2, p. 107, doi. 10.1002/malq.19900360204
- By:
- Publication type:
- Article