|
This article is cited in 1 scientific paper (total 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
Received: 12.05.1980
Citation:
V. I. Stepanov, “Self-applicable propositions for the standard and Rosser predicates of provability”, Russian Math. Surveys, 36:1 (1981), 254–255
Linking options:
https://www.mathnet.ru/eng/rm2681https://doi.org/10.1070/RM1981v036n01ABEH002559 https://www.mathnet.ru/eng/rm/v36/i1/p227
|
|