Internal approach to external sets and universes Vladimir KanoveiMichael Reeken OriginalPaper Pages: 347 - 376
Axiomatic extensions of the constructive logic with strong negation and the disjunction property Andrzej Sendlewski OriginalPaper Pages: 377 - 388
Directions in generalized quantifier theory Johan van BenthemDag Westerståhl OriginalPaper Pages: 389 - 419
Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames A. V. ChagrovL. A. Chagrova OriginalPaper Pages: 421 - 448