Book Reviews.
- Published in:
- 2001
- Publication type:
- Book Review
Works matching IS 00393215 AND DT 2001 AND VI 67 AND IP 1
Results: 6
1
2
Glivenko Type Theorems for Intuitionistic Modal Logics.
- Published in:
- Studia Logica, 2001, v. 67, n. 1, p. 89, doi. 10.1023/A:1010577628486
- By:
- Publication type:
- Article
3
Principal Congruences on Semi-De Morgan Algebras.
- Published in:
- Studia Logica, 2001, v. 67, n. 1, p. 75, doi. 10.1023/A:1010525611648
- By:
- Publication type:
- Article
4
Model Existence in Non-Compact Modal Logic.
- Published in:
- Studia Logica, 2001, v. 67, n. 1, p. 61, doi. 10.1023/A:1010573427578
- By:
- Publication type:
- Article
5
Computably Enumerable Equivalence Relations.
- Published in:
- Studia Logica, 2001, v. 67, n. 1, p. 27, doi. 10.1023/A:1010521410739
- By:
- Publication type:
- Article
6
Cn-Definitions of Propositional Connectives.
- Published in:
- Studia Logica, 2001, v. 67, n. 1, p. 1, doi. 10.1023/A:1010509126669
- By:
- Publication type:
- Article