External Links

    Journal: Math. Log. Q.

    Volume 31, Issue 1-6

    3 -- 29Wolfgang Friedrich. Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis
    31 -- 33John Jones. Simplified Axiom Schemes for Implication and Iterated Implication
    35 -- 38Ermanno Bencivenga. Strong Completeness of a Pure Free Logic
    39 -- 56Heinz Kaphengst. Zum Aufbau Einer Mehrsortigen Elementaren Logik
    57 -- 61Fabio Bellissima. S4
    63 -- 70Wojciech Buszkowski. Concerning the Axioms of Ackermann's Set Theory
    71 -- 77Kevin P. Balanda. Almost Disjoint Families of Representing Sets
    79 -- 88George Georgescu, Iana Voiculescu. Eastern Model-Theory for Boolean-Valued Theories
    89 -- 95Stephen D. Comer. The Elementary Theory of Interval Real Numbers
    runs on