|
In the Moscow Mathematical Society
Communications of the Moscow Mathematical Society
Constructivizable and non-constructivizable formal arithmetic structures
A. A. Tverskoi
Received: 28.06.1985
Citation:
A. A. Tverskoi, “Constructivizable and non-constructivizable formal arithmetic structures”, Russian Math. Surveys, 40:6 (1985), 145–146
Linking options:
https://www.mathnet.ru/eng/rm2881https://doi.org/10.1070/RM1985v040n06ABEH003720 https://www.mathnet.ru/eng/rm/v40/i6/p159
|
Statistics & downloads: |
Abstract page: | 220 | Russian version PDF: | 90 | English version PDF: | 12 | References: | 42 | First page: | 2 |
|