George Koletsos. "A Godel-Functional Interpretation of the ω-Rule." Δελτίο της Ελληνικής Μαθηματικής Εταιρίας 23.23 (1982): 89-94. <http://eudml.org/doc/239018>.
@article{GeorgeKoletsos1982, author = {George Koletsos}, journal = {Δελτίο της Ελληνικής Μαθηματικής Εταιρίας}, keywords = {Gödel’s functional system T; omega rule; second-order quantifiers; first-order arithmetic}, language = {eng}, number = {23}, pages = {89-94}, title = {A Godel-Functional Interpretation of the ω-Rule}, url = {http://eudml.org/doc/239018}, volume = {23}, year = {1982}, }
TY - JOUR AU - George Koletsos TI - A Godel-Functional Interpretation of the ω-Rule JO - Δελτίο της Ελληνικής Μαθηματικής Εταιρίας PY - 1982 VL - 23 IS - 23 SP - 89 EP - 94 LA - eng KW - Gödel’s functional system T; omega rule; second-order quantifiers; first-order arithmetic UR - http://eudml.org/doc/239018 ER -