A Hierarchy of Languages with Infinitely Long Expressions
-
Published:1975
Issue:
Volume:
Page:55-71
-
ISSN:0049-237X
-
Container-title:Logic Colloquium '73, Proceedings of the Logic Colloquium
-
language:
-
Short-container-title:
Author:
Kino Akiko,Myhill John
Reference1 articles.
1. On predicates with constructive infinitely long expressions;Takeuti;Journal of the Mathematical Society of Japan,1963