C. E. M. Yates:
A Minimal Pair of Recursively Enumerable Degrees.
159-168 BibTeX
Calvin C. Elgot, Michael O. Rabin:
Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor.
169-181 BibTeX
W. A. Howard, G. Kreisel:
Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis.
325-358 BibTeX
Robert A. Di Paola:
Pseudo-Complements and Ordinal Logics based on Consistency Statements.
359-364 BibTeX
Akiko Kino:
On Definability of Ordinals in Logic with Infinitely Long Expressions.
365-375 BibTeX