|
Sibirskii Matematicheskii Zhurnal, 1988, Volume 29, Number 1, Pages 171–178
(Mi smj7398)
|
|
|
|
This article is cited in 8 scientific papers (total in 8 papers)
Exact interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice
E. Z. Skvortsova Moscow
Received: 17.12.1985
Citation:
E. Z. Skvortsova, “Exact interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice”, Sibirsk. Mat. Zh., 29:1 (1988), 171–178; Siberian Math. J., 29:1 (1988), 133–139
Linking options:
https://www.mathnet.ru/eng/smj7398 https://www.mathnet.ru/eng/smj/v29/i1/p171
|
|