A Godel-Functional Interpretation of the ω-Rule
Ευκλείδης Γ
, Tome 23 (1989), p. 89-94
Voir la notice de l'article provenant de la source Hellenic Digital Mathematics Library
@article{EUG_1989__23_a4,
author = {George Koletsos},
title = {A {Godel-Functional} {Interpretation} of the {\ensuremath{\omega}-Rule}},
journal = {E\ensuremath{\upsilon}\ensuremath{\kappa}\ensuremath{\lambda}\ensuremath{\varepsilon}\ensuremath{\acute\iota}\ensuremath{\delta}\ensuremath{\eta}\ensuremath{\varsigma} \ensuremath{\Gamma}
},
pages = {89-94},
publisher = {mathdoc},
volume = {23},
year = {1989},
language = {gr},
url = {http://geodesic.mathdoc.fr/item/EUG_1989__23_a4/}
}
George Koletsos. A Godel-Functional Interpretation of the ω-Rule. Ευκλείδης Γ , Tome 23 (1989), p. 89-94. http://geodesic.mathdoc.fr/item/EUG_1989__23_a4/