RUS
ENG
Full version
JOURNALS
// Sibirskii Matematicheskii Zhurnal
// Archive
Sibirsk. Mat. Zh.,
2000
Volume 41,
Number 2,
Pages
470–479
(Mi smj1543)
On a fragment of intuitionistic logic that is complete with respect to the Kripke frames with finite domains
P. A. Schreiner
UDC:
510.64
Received:
01.10.1998
Fulltext:
PDF file (179 kB)
English version:
Siberian Mathematical Journal, 2000,
41
:2,
389–396
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (179 kB)
