The theory of function structure models.
Sibirskij Matematicheskij Zhurnal, Tome 47 (2006) no. 6, p. 1342.

Voir la notice de l'article dans European Digital Mathematics Library

Classification : 68T20, 68T27, 68T30
Mots-clés : formal theory, recursion, theorem proving, nonprocedural description 
@article{SMZ_2006__47_6_54784,
     author = {Novosel'tsev, V.B.},
     title = {The theory of function structure models.},
     journal = {Sibirskij Matematicheskij Zhurnal},
     pages = {1342},
     publisher = {mathdoc},
     volume = {47},
     number = {6},
     year = {2006},
     zbl = {1150.68468},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/SMZ_2006__47_6_54784/}
}
TY  - JOUR
AU  - Novosel'tsev, V.B.
TI  - The theory of function structure models.
JO  - Sibirskij Matematicheskij Zhurnal
PY  - 2006
SP  - 1342
VL  - 47
IS  - 6
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/SMZ_2006__47_6_54784/
LA  - en
ID  - SMZ_2006__47_6_54784
ER  - 
%0 Journal Article
%A Novosel'tsev, V.B.
%T The theory of function structure models.
%J Sibirskij Matematicheskij Zhurnal
%D 2006
%P 1342
%V 47
%N 6
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/SMZ_2006__47_6_54784/
%G en
%F SMZ_2006__47_6_54784
Novosel'tsev, V.B. The theory of function structure models.. Sibirskij Matematicheskij Zhurnal, Tome 47 (2006) no. 6, p. 1342. https://geodesic-test.mathdoc.fr/item/SMZ_2006__47_6_54784/