Varieties of Monadic Heyting Algebras. Part I.
- Published in:
- Studia Logica, 1998, v. 61, n. 3, p. 367, doi. 10.1023/A:1005073905902
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 1998 AND VI 61 AND IP 3
Results: 6
1
2
Book Reviews.
- Published in:
- Studia Logica, 1998, v. 61, n. 3, p. 429, doi. 10.1023/A:1017127513131
- Publication type:
- Article
3
Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality.
- Published in:
- Studia Logica, 1998, v. 61, n. 3, p. 417, doi. 10.1023/A:1005022208588
- By:
- Publication type:
- Article
4
Isomorphism and Equational Equivalence of Continuous λ-Models.
- Published in:
- Studia Logica, 1998, v. 61, n. 3, p. 403, doi. 10.1023/A:1005018121791
- By:
- Publication type:
- Article
5
Problems of Equivalence, Categoricity of Axioms and States Description in Databases.
- Published in:
- Studia Logica, 1998, v. 61, n. 3, p. 347, doi. 10.1023/A:1005066020883
- By:
- Publication type:
- Article
6
Interpolation and Amalgamation; Pushing the Limits. Part I.
- Published in:
- Studia Logica, 1998, v. 61, n. 3, p. 311, doi. 10.1023/A:1005064504044
- By:
- Publication type:
- Article