|
Sibirskii Matematicheskii Zhurnal, 1996, Volume 37, Number 6, Pages 1413–1432
(Mi smj457)
|
|
|
|
This article is cited in 4 scientific papers (total in 4 papers)
A new regular constant in intuitionistic propositional logic
A. D. Yashin
Received: 27.02.1995
Citation:
A. D. Yashin, “A new regular constant in intuitionistic propositional logic”, Sibirsk. Mat. Zh., 37:6 (1996), 1413–1432; Siberian Math. J., 37:6 (1996), 1242–1258
Linking options:
https://www.mathnet.ru/eng/smj457 https://www.mathnet.ru/eng/smj/v37/i6/p1413
|
|