Non-Uniqueness at ... in Kleene's O. Kurt Schütte; John N. Crossley — 1971 Archiv für mathematische Logik und Grundlagenforschung
Constructive order types, III. John N. Crossley; P.H.G. Aczel — 1971 Archiv für mathematische Logik und Grundlagenforschung