Finite Partially-Ordered Quantifiers.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 8, p. 393, doi. 10.1002/malq.19700160802
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1970 AND VI 16 AND IP 8
Results: 11
1
2
Semantische Untersuchungen Über Quantoren III.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 8, p. 421, doi. 10.1002/malq.19700160806
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 8, p. fmi, doi. 10.1002/malq.19700160801
- Publication type:
- Article
4
On Set-Theoretic Characterization of Congruence Lattices.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 8, p. 417, doi. 10.1002/malq.19700160805
- By:
- Publication type:
- Article
5
Uniformly Precomplete Enumerations.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 8, p. 463, doi. 10.1002/malq.19700160809
- By:
- Publication type:
- Article
6
Sur la Classe Des Ordinaux Appartenant À un Univers et Univers Bien Ordonnés.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 8, p. 475, doi. 10.1002/malq.19700160811
- By:
- Publication type:
- Article
7
Some First Order Properties of Direct Sums of Modules.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 8, p. 405, doi. 10.1002/malq.19700160804
- By:
- Publication type:
- Article
8
On Prefacing (⊇ X) A ⊃ A (Y/X) WITH (⊇ Y) - A Free Quantification Theory Without Identity.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 8, p. 447, doi. 10.1002/malq.19700160808
- By:
- Publication type:
- Article
9
The Separation Theorem for Fragments of the Intuitionistic Propositional Calculus.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 8, p. 469, doi. 10.1002/malq.19700160810
- By:
- Publication type:
- Article
10
Some Properties of Machines.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 8, p. 399, doi. 10.1002/malq.19700160803
- By:
- Publication type:
- Article
11
A Pair of Primitive Rules for the Sentential Calculus.
- Published in:
- Mathematical Logic Quarterly, 1970, v. 16, n. 8, p. 439, doi. 10.1002/malq.19700160807
- By:
- Publication type:
- Article