A Hierarchy of Languages with Infinitely Long Expressions

Logic Colloquium '73, Proceedings of the Logic Colloquium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71944-x ◽

1975 ◽

pp. 55-71

Author(s):

Akiko Kino ◽

John Myhill

Download Full-text