Works matching IS 00393215 AND DT 2000 AND VI 64 AND IP 3
Results: 8
On Definability of the Equality in Classes of Algebras with an Equivalence Relation.
- Published in:
- Studia Logica, 2000, v. 64, n. 3, p. 345, doi. 10.1023/A:1005237627378
- By:
- Publication type:
- Article
Book Reviews.
- Published in:
- 2000
- Publication type:
- Book Review
Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction.
- Published in:
- Studia Logica, 2000, v. 64, n. 3, p. 365, doi. 10.1023/A:1005293713265
- By:
- Publication type:
- Article
P-Compatible Hypersubstitution and M P-Solid Varieties.
- Published in:
- Studia Logica, 2000, v. 64, n. 3, p. 355, doi. 10.1023/A:1005241711448
- By:
- Publication type:
- Article
A Negationless Interpretation of Intuitionistic Theories. I.
- Published in:
- Studia Logica, 2000, v. 64, n. 3, p. 323, doi. 10.1023/A:1005233526469
- By:
- Publication type:
- Article
Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs.
- Published in:
- Studia Logica, 2000, v. 64, n. 3, p. 315, doi. 10.1023/A:1005281425560
- By:
- Publication type:
- Article
Modal Horn Classes.
- Published in:
- Studia Logica, 2000, v. 64, n. 3, p. 301, doi. 10.1023/A:1005252908722
- By:
- Publication type:
- Article
Contents of Volume 64.
- Published in:
- Studia Logica, 2000, v. 64, n. 3, p. 449, doi. 10.1023/A:1017218127715
- Publication type:
- Article