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  -