Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency).
Μαθηματική Επιθεώρηση (1986)
- Issue: 31, page 72-90
Access Full Article
topHow to cite
topΒ. Πάσχος. "Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency).." Μαθηματική Επιθεώρηση (1986): 72-90. <http://eudml.org/doc/238572>.
@article{Β1986,
author = {Β. Πάσχος},
journal = {Μαθηματική Επιθεώρηση},
language = {gre},
number = {31},
pages = {72-90},
title = {Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency).},
url = {http://eudml.org/doc/238572},
year = {1986},
}
TY - JOUR
AU - Β. Πάσχος
TI - Αναδρομή (Recursion) και Τυπική θεωρία αριθμών (Formal Number theory) επέκταση (extension) Συνέπεια (consistency).
JO - Μαθηματική Επιθεώρηση
PY - 1986
IS - 31
SP - 72
EP - 90
LA - gre
UR - http://eudml.org/doc/238572
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.