External Links

    Journal: Math. Log. Q.

    Volume 28, Issue 4-7

    49 -- 62Bogdan S. Chlebus. Completeness Proofs for Some Logics of Programs
    63 -- 65Eduard Fuchs. On the o-Category of Finite Chains
    67 -- 74Michael von Rimscha. Transitivitätsbedingungen
    75 -- 81Hans-Peter Tuschik. Elimination of Cardinality Quantifiers
    83 -- 92Burkhard Molzan. p-Rings
    runs on