Izv. Vyssh. Uchebn. Zaved. Mat., 1989 Number 8, Pages 56–63
(Mi ivm8204)
|
This article is cited in
1 paper
Completeness of systems of recursive functions and predicates. I
V. D. Solov'ev
UDC:
519.716
MSC: Primary
03D20; Secondary
03D30,
68Q05 Received: 08.07.1986
Revised: 02.12.1988
English version:
Soviet Mathematics (Izvestiya VUZ. Matematika), 1989,
33:8,
76–87
Bibliographic databases:
© , 2026
Fulltext:
PDF file (823 kB)