RUS
ENG
Full version
JOURNALS
// Uspekhi Matematicheskikh Nauk
// Archive
Uspekhi Mat. Nauk,
1981
Volume 36,
Issue 1(217),
Pages
227–228
(Mi rm2681)
This article is cited in
1
paper
In the Moscow Mathematical Society
Communications of the Moscow Mathematical Society
Self-applicable propositions for the standard and Rosser predicates of provability
V. I. Stepanov
MSC:
03F45
,
03E25
,
03F40
,
03D25
Received:
12.05.1980
Fulltext:
PDF file (147 kB)
References
Cited by
English version:
Russian Mathematical Surveys, 1981,
36
:1,
254–255
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024