RUS  ENG
Full version
JOURNALS // Matematicheskie Zametki // Archive
Mat. Zametki, 1986 Volume 39, Issue 1, Pages 121–135 (Mi mzm4901)
Embedding intuitionistic-type theory in negationless-type theory

V. N. Krivtsov


Received: 21.02.1985


 English version: Mathematical Notes, 1986, 39:1, 66–74

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026