Geodesic
Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency).
Μαθηματική Επιθεώρηση, Tome 31 (1986), pp. 72-90 
Β. Πάσχος. Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency).. Μαθηματική Επιθεώρηση, Tome 31 (1986), pp. 72-90. http://geodesic.mathdoc.fr/item/MR_1986_31_a16/
@article{MR_1986_31_a16,
     author = {B. \ensuremath{\Pi}\ensuremath{\acute\alpha}\ensuremath{\sigma}\ensuremath{\chi}o\ensuremath{\varsigma}},
     title = {A\ensuremath{\nu}\ensuremath{\alpha}\ensuremath{\delta}\ensuremath{\rho}o\ensuremath{\mu}\ensuremath{\acute\eta} {(Recursion)} \ensuremath{\kappa}\ensuremath{\alpha}\ensuremath{\iota} {T\ensuremath{\upsilon}\ensuremath{\pi}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\eta}} \ensuremath{\theta}\ensuremath{\varepsilon}\ensuremath{\omega}\ensuremath{\rho}\ensuremath{\acute\iota}\ensuremath{\alpha} \ensuremath{\alpha}\ensuremath{\rho}\ensuremath{\iota}\ensuremath{\theta}\ensuremath{\mu}\ensuremath{\acute\omega}\ensuremath{\nu} {(Formal} {Number} theory) \ensuremath{\varepsilon}\ensuremath{\pi}\ensuremath{\acute\epsilon}\ensuremath{\kappa}\ensuremath{\tau}\ensuremath{\alpha}\ensuremath{\sigma}\ensuremath{\eta} (extension) {\ensuremath{\Sigma}\ensuremath{\upsilon}\ensuremath{\nu}\ensuremath{\acute\epsilon}\ensuremath{\pi}\ensuremath{\varepsilon}\ensuremath{\iota}\ensuremath{\alpha}} (consistency).},
     journal = {M\ensuremath{\alpha}\ensuremath{\theta}\ensuremath{\eta}\ensuremath{\mu}\ensuremath{\alpha}\ensuremath{\tau}\ensuremath{\iota}\ensuremath{\kappa}\ensuremath{\acute\eta} E\ensuremath{\pi}\ensuremath{\iota}\ensuremath{\theta}\ensuremath{\varepsilon}\ensuremath{\acute\omega}\ensuremath{\rho}\ensuremath{\eta}\ensuremath{\sigma}\ensuremath{\eta}},
     pages = {72--90},
     year = {1986},
     volume = {31},
     language = {gr},
     url = {http://geodesic.mathdoc.fr/item/MR_1986_31_a16/}
}
TY  - JOUR
AU  - Β. Πάσχος
TI  - Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency).
JO  - Μαθηματική Επιθεώρηση
PY  - 1986
SP  - 72
EP  - 90
VL  - 31
UR  - http://geodesic.mathdoc.fr/item/MR_1986_31_a16/
LA  - gr
ID  - MR_1986_31_a16
ER  - 
%0 Journal Article
%A Β. Πάσχος
%T Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency).
%J Μαθηματική Επιθεώρηση
%D 1986
%P 72-90
%V 31
%U http://geodesic.mathdoc.fr/item/MR_1986_31_a16/
%G gr
%F MR_1986_31_a16

Voir la notice de l'article provenant de la source Hellenic Digital Mathematics Library