External Links

    Journal: Math. Log. Q.

    Volume 28, Issue 20-21

    285 -- 296Gregory A. Riccardi. The Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions
    297 -- 309Richard L. Call. Systems With Parity Quantifiers
    311 -- 316Mitsuru Yasuhara. Cut Elimination in ε-Calculi
    runs on