Works matching IS 00393215 AND DT 1995 AND VI 55 AND IP 3
Results: 5
Books received.
- Published in:
- 1995
- By:
- Publication type:
- Book Review
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames.
- Published in:
- Studia Logica, 1995, v. 55, n. 3, p. 421, doi. 10.1007/BF01057806
- By:
- Publication type:
- Article
Directions in generalized quantifier theory.
- Published in:
- Studia Logica, 1995, v. 55, n. 3, p. 389, doi. 10.1007/BF01057805
- By:
- Publication type:
- Article
Axiomatic extensions of the constructive logic with strong negation and the disjunction property.
- Published in:
- Studia Logica, 1995, v. 55, n. 3, p. 377, doi. 10.1007/BF01057804
- By:
- Publication type:
- Article
Internal approach to external sets and universes.
- Published in:
- Studia Logica, 1995, v. 55, n. 3, p. 347, doi. 10.1007/BF01057803
- By:
- Publication type:
- Article