External Links

    Journal: Math. Log. Q.

    Volume 24, Issue 7

    97 -- 108K. Potthoff. Orderings of Types of Countable Arithmetic
    109 -- 112Alan Rose. A Note on Formalisation by the Method of Description of Truth-Tables
    runs on