Interpolation and Amalgamation; Pushing the Limits. Part I Judit X. Madarász OriginalPaper Pages: 311 - 345
Problems of Equivalence, Categoricity of Axioms and States Description in Databases Tatjana L. PlotkinSarit KrausBoris I. Plotkin OriginalPaper Pages: 347 - 366
Isomorphism and Equational Equivalence of Continuous λ-Models Rainer Kerth OriginalPaper Pages: 403 - 415
Finite Sets and Natural Numbers in Intuitionistic TT Without Extensionality Daniel Dzierzgowski OriginalPaper Pages: 417 - 428