RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 1996 Volume 37, Number 6, Pages 1413–1432 (Mi smj457)

This article is cited in 4 papers

A new regular constant in intuitionistic propositional logic

A. D. Yashin


UDC: 517.12

Received: 27.02.1995


 English version:
Siberian Mathematical Journal, 1996, 37:6, 1242–1258

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025