Voir la notice de l'article provenant de la source Hellenic Digital Mathematics Library
@article{DEME_1990__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 = {\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 = {72-90},
publisher = {mathdoc},
volume = {31},
year = {1990},
language = {gr},
url = {http://geodesic.mathdoc.fr/item/DEME_1990__31_a16/}
}
TY - JOUR AU - Β. Πάσχος TI - Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency). JO - Δελτίο της Ελληνικής Μαθηματικής Εταιρίας PY - 1990 SP - 72 EP - 90 VL - 31 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DEME_1990__31_a16/ LA - gr ID - DEME_1990__31_a16 ER -
%0 Journal Article %A Β. Πάσχος %T Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency). %J Δελτίο της Ελληνικής Μαθηματικής Εταιρίας %D 1990 %P 72-90 %V 31 %I mathdoc %U http://geodesic.mathdoc.fr/item/DEME_1990__31_a16/ %G gr %F DEME_1990__31_a16
Β. Πάσχος. Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency).. Δελτίο της Ελληνικής Μαθηματικής Εταιρίας , Tome 31 (1990), p. 72-90. http://geodesic.mathdoc.fr/item/DEME_1990__31_a16/