External Links

    Journal: Math. Log. Q.

    Volume 29, Issue 11

    557 -- 564Krister Segerberg. Arbitrary Truth-Value Functions and Natural Deduction
    565 -- 568Martin Kühnrich. Eine äQuivalente Formalisierung der Logik von Feferman und Aczel
    569 -- 571Manfred Armbrust. Equivalence Relations versus Unary Operations
    runs on