External Links

    Journal: Math. Log. Q.

    Volume 28, Issue 13

    173 -- 180Hiroya Kawai. Eine Logik Erster Stufe mit Einem Infinitären Zeitoperator
    181 -- 187V. Ja. Krenovic, Urs Oswald. A Decision Method for the Universal Theorems of Quine's New Foundations
    runs on