|
A formal system of negationless arithmetic that is conservative with respect to heyting arithmetic
V. N. Krivtsov
Received: 28.06.1982
Citation:
V. N. Krivtsov, “A formal system of negationless arithmetic that is conservative with respect to heyting arithmetic”, Mat. Zametki, 36:4 (1984), 583–592; Math. Notes, 36:4 (1984), 788–794
Linking options:
https://www.mathnet.ru/eng/mzm5956 https://www.mathnet.ru/eng/mzm/v36/i4/p583
|
Statistics & downloads: |
Abstract page: | 195 | Full-text PDF : | 88 | First page: | 2 |
|