Voir la notice de l'article provenant de la source Hellenic Digital Mathematics Library
@article{DEME_1982__23_a4, author = {George Koletsos}, title = {A {Godel-Functional} {Interpretation} of the {\ensuremath{\omega}-Rule}}, journal = {\ensuremath{\Delta}\ensuremath{\varepsilon}\ensuremath{\lambda}\ensuremath{\tau}\ensuremath{\acute\iota}o \ensuremath{\tau}\ensuremath{\eta}\ensuremath{\varsigma} E\ensuremath{\lambda}\ensuremath{\lambda}\ensuremath{\eta}\ensuremath{\nu}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\eta}\ensuremath{\varsigma} M\ensuremath{\alpha}\ensuremath{\theta}\ensuremath{\eta}\ensuremath{\mu}\ensuremath{\alpha}\ensuremath{\tau}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\eta}\ensuremath{\varsigma} E\ensuremath{\tau}\ensuremath{\alpha}\ensuremath{\iota}\ensuremath{\rho}\ensuremath{\acute\iota}\ensuremath{\alpha}\ensuremath{\varsigma} }, pages = {89-94}, publisher = {mathdoc}, volume = {23}, year = {1982}, language = {gr}, url = {http://geodesic.mathdoc.fr/item/DEME_1982__23_a4/} }
George Koletsos. A Godel-Functional Interpretation of the ω-Rule. Δελτίο της Ελληνικής Μαθηματικής Εταιρίας , Tome 23 (1982), p. 89-94. http://geodesic.mathdoc.fr/item/DEME_1982__23_a4/