RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive
Sibirsk. Mat. Zh., 1992 Volume 33, Number 2, Pages 22–28 (Mi smj3189)
This article is cited in 1 paper

On intuitionistic elementary arithmetic

V. Ya. Bochernikov


UDC: 510.5+510.6

Received: 19.01.1990


 English version: Siberian Mathematical Journal, 1992, 33:2, 195–200

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024