Interpolation and Amalgamation; Pushing the Limits. Part I
Problems of Equivalence, Categoricity of Axioms and States Description in Databases*†
Varieties of Monadic Heyting Algebras. Part I
Isomorphism and Equational Equivalence of Continuous λ-Models*†
Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality**
Finsler Set Theory
Definability and Computability
Québec Studies in the Philosophy of Science. Part I
Theory of Language Syntax. Categorial Approach