External Links

    Journal: Math. Log. Q.

    Volume 31, Issue 9-12

    131 -- 162Hans-Joachim Goltz. The Boolean Sentence Algebra of the Theory of Linear Ordering is Atomic with Respect to Logics with a Malitz Quantifier
    163 -- 168Helmut Wolter. On the "Problem of the Last Root" for Exponential Terms
    169 -- 171John L. Hickman. n-Place Strictly Monotonic Functions
    173 -- 178C. A. R. Hoare. A Couple of Novelties in the Propositional Calculus
    179 -- 192Martin Kühnrich. Untersuchungen zur Algebraischen Theorie der Partiellen Mengen
    runs on