External Links

    Journal: Math. Log. Q.

    Volume 28, Issue 14-18

    189 -- 201Richard Rosenberg. Recursively Enumerable Images of Arithmetic Sets
    203 -- 210Bruce M. Horowitz. Arithmetical Analogues of Productive and Universal Sets
    211 -- 214Bruce M. Horowitz. An Isomorphism Type of Arithmetically Productive Sets
    215 -- 218George Weaver. A Note on the Interpolation Theorem in First Order Logic
    219 -- 228Hilbert Levitz. Calculation of an Order Type: An application of Non-Standard Methods
    229 -- 238Wojciech Buszkowski. Compatibility of a Categorial Grammar With an Associated Category System
    239 -- 246Wolfgang Schönfeld. Upper Bounds for Proof-Search in a Sequent Calculus for Relational Equations
    247 -- 261Bogdan S. Chlebus. On the Decidability of Propositional Algorithmic Logic
    263 -- 267John L. Hickman. Automorphisms of Medial Fields
    runs on