External Links

    Journal: Math. Log. Q.

    Volume 29, Issue 10

    481 -- 483Alan Rose. Scompleteness of Sets of Three-Valued Sheffer Function
    485 -- 492Edward R. Griffor. 3E
    493 -- 504Joachim Lambek, Philip J. Scott. New Proofs of Some Intuitionistic Principles
    505 -- 542Robert A. G. Seely. Hyperdoctrines, Natural Deduction and the Beck Condition
    543 -- 556John Jones. Implication and Iterated Implication
    runs on