Masthead.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. fmi, doi. 10.1002/malq.19880340501
- Publication type:
- Article
Works matching IS 09425616 AND DT 1988 AND VI 34 AND IP 5
Results: 10
1
2
Two Impredicative Theories of Properties and Sets.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. 403, doi. 10.1002/malq.19880340505
- By:
- Publication type:
- Article
3
On The Uniqueness of the Lindenbaum Extension.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. 463, doi. 10.1002/malq.19880340509
- By:
- Publication type:
- Article
4
A Natural Variant of Ackermann's Function.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. 399, doi. 10.1002/malq.19880340504
- By:
- Publication type:
- Article
5
On a Reconstruction of Models with Only One Binary Relation.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. 449, doi. 10.1002/malq.19880340508
- By:
- Publication type:
- Article
6
Equality and Coequality Relations on the Cartesian Product of Sets.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. 471, doi. 10.1002/malq.19880340510
- By:
- Publication type:
- Article
7
Completeness Theorems for Temporal Logics T<sub>Ω</sub> and □T<sub>Ω</sub>.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. 393, doi. 10.1002/malq.19880340503
- By:
- Publication type:
- Article
8
On the Semantics of Comparative Logic.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. 433, doi. 10.1002/malq.19880340507
- By:
- Publication type:
- Article
9
On the Proof Method for Constructive Falsity.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. 385, doi. 10.1002/malq.19880340502
- By:
- Publication type:
- Article
10
Intensional Equality in Categories With Structure and Coherence Problems.
- Published in:
- Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. 421, doi. 10.1002/malq.19880340506
- By:
- Publication type:
- Article