External Links

    Journal: Math. Log. Q.

    Volume 26, Issue 28-30

    433 -- 437D. A. Anapolitanos, Jouko A. Väänänen. On the Axiomatizability of the Notion of an Automorphism of a Finite Order
    439 -- 444Anita Wasilewska. On the Gentzen Type Formalizations
    445 -- 458Josef Falkinger. 1
    459 -- 469Egon Börger, Hans Kleine Büning. The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set
    471 -- 475John L. Hickman. Some Observations Concerning Medial Fields
    477 -- 479John L. Hickman. A Class of Polynomial Equations in a Single Ordinal Variable
    runs on