Kino, Akiko. 1970.
“Formalization of the Theory of Ordinal Diagrams of Infinite Order.” in
Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko
Kino, John
Myhill, and Richard E.
Vesley, pp. 363–376.
Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Kino, Akiko and
Myhill, John. 1975.
“A Hierarchy of Languages with Infinitely Long Expressions.” in
Logic Colloquium ’73, edited by H. E.
Rose and John C.
Shepherdson, pp. 55–71.
Studies in Logic and the Foundations of Mathematics n. 80. Amsterdam: North-Holland Publishing Co.
Kino, Akiko,
Myhill, John and
Vesley, Richard E., eds. 1970.
Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968.
Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.