External Links

    Journal: Math. Log. Q.

    Volume 28, Issue 19

    269 -- 276Martin W. Bunder. Some Results in Aczel-Feferman Logic and Set Theory
    277 -- 284Hans Kleine Büning. E
    runs on