External Links

    Journal: Math. Log. Q.

    Volume 31, Issue 14-18

    209 -- 220Akira Kanda. Numeration Models of λ-Calculus
    221 -- 225Costas Dimitracopoulos. A Generalization of a Theorem of H. Friedman
    227 -- 234Anne Preller. A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models
    235 -- 241Kosta Dosen. A Completeness Theorem for the Lambek Calculus of Syntactic Categories
    243 -- 247Branislav R. Boricic. On Some Subsystems of Dummett's LC
    249 -- 261Volker Weispfenning. Quantifier Elimination for Distributive Lattices and Measure Algebras
    275 -- 278Ventura Verdú. Some Algebraic Structures Determined by Closure Operators
    279 -- 280Gisela Schäfer. A Note on Conjectures of Calude About the Topological Size of Sets of Partial Recursive Functions
    281 -- 287Gerd Wechsung. On Sparse Complete Sets
    runs on