|
Zapiski Nauchnykh Seminarov LOMI, 1968, Volume 8, Pages 166–174
(Mi znsl2259)
|
|
|
|
Cut-free calculi of the $S5$-type
G. E. Mints
Citation:
G. E. Mints, “Cut-free calculi of the $S5$-type”, Studies in constructive mathematics and mathematical logic. Part II, Zap. Nauchn. Sem. LOMI, 8, "Nauka", Leningrad. Otdel., Leningrad, 1968, 166–174
Linking options:
https://www.mathnet.ru/eng/znsl2259 https://www.mathnet.ru/eng/znsl/v8/p166
|
Statistics & downloads: |
Abstract page: | 202 | Full-text PDF : | 87 |
|