RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1981
Volume 256,
Number 1,
Pages
18–22
(Mi dan44141)
MATHEMATICS
Recursive realizability from the intuitionistic point of view
Yu. V. Gavrilenko
All-Union Institute for Scientific and Technical Information, Moscow
UDC:
517.12
Presented:
A. A. Dorodnitsyn
Received: 21.07.1980
Fulltext:
PDF file (670 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (670 kB)