Books received.
- Published in:
- 1987
- By:
- Publication type:
- Book Review
Works matching IS 00393215 AND DT 1987 AND VI 46 AND IP 3
Results: 8
1
2
W-algebras which are Boolean products of members of SR[1] and CW-algebras.
- Published in:
- Studia Logica, 1987, v. 46, n. 3, p. 265, doi. 10.1007/BF00372551
- By:
- Publication type:
- Article
3
Elementary extensions of topological models in Llanguage.
- Published in:
- Studia Logica, 1987, v. 46, n. 3, p. 255, doi. 10.1007/BF00372550
- By:
- Publication type:
- Article
4
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic.
- Published in:
- Studia Logica, 1987, v. 46, n. 3, p. 247, doi. 10.1007/BF00372549
- By:
- Publication type:
- Article
5
Remarks on a survey article on many valued logic by A. Urquhart.
- Published in:
- Studia Logica, 1987, v. 46, n. 3, p. 275, doi. 10.1007/BF00372552
- By:
- Publication type:
- Article
6
Computation of Aristotle's and Gergonne's syllogisms.
- Published in:
- Studia Logica, 1987, v. 46, n. 3, p. 209, doi. 10.1007/BF00372546
- By:
- Publication type:
- Article
7
Relevant implication and the weak deduction theorem.
- Published in:
- Studia Logica, 1987, v. 46, n. 3, p. 239, doi. 10.1007/BF00372548
- By:
- Publication type:
- Article
8
Decidability, partial decidability and sharpness relation for L-subsets.
- Published in:
- Studia Logica, 1987, v. 46, n. 3, p. 227, doi. 10.1007/BF00372547
- By:
- Publication type:
- Article