TY  - JOUR
AU  - George Koletsos
TI  - A Godel-Functional Interpretation of the ω-Rule
JO  - Ευκλείδης Γ

PY  - 1989
SP  - 89
EP  - 94
VL  - 23
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/EUG_1989__23_a4/
LA  - gr
ID  - EUG_1989__23_a4
ER  -