![](/img/cover-not-exists.png)
On the Interpretation of Non-Finitist Proofs--Part I
G. KreiselVolume:
16
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2267908
Date:
December, 1951
File:
PDF, 2.08 MB
english, 1951