RUS  ENG
Full version
JOURNALS // Matematicheskie Zametki // Archive
Mat. Zametki, 1984 Volume 36, Issue 4, Pages 583–592 (Mi mzm5956)
A formal system of negationless arithmetic that is conservative with respect to heyting arithmetic

V. N. Krivtsov


UDC: 517.11

Received: 28.06.1982


 English version: Mathematical Notes, 1984, 36:4, 788–794

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026