![](/img/cover-not-exists.png)
On Predicates with Constructive Infinitely Long Expressionsby Gaisi Takeuti; Akiko Kino
Review by: Thomas FrayneVolume:
30
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2270595
Date:
March, 1965
File:
PDF, 299 KB
english, 1965