TY  - JOUR
AU  - Β. Πάσχος
TI  - Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency).
JO  - Μαθηματική Επιθεώρηση

PY  - 1986
SP  - 72
EP  - 90
VL  - 31
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MR_1986__31_a16/
LA  - gr
ID  - MR_1986__31_a16
ER  -