|
Zapiski Nauchnykh Seminarov LOMI, 1968, Volume 8, Pages 189–191
(Mi znsl2262)
|
|
|
|
This article is cited in 4 scientific papers (total in 4 papers)
Permissible and derivable rules
G. E. Mints
Citation:
G. E. Mints, “Permissible and derivable rules”, Studies in constructive mathematics and mathematical logic. Part II, Zap. Nauchn. Sem. LOMI, 8, "Nauka", Leningrad. Otdel., Leningrad, 1968, 189–191
Linking options:
https://www.mathnet.ru/eng/znsl2262 https://www.mathnet.ru/eng/znsl/v8/p189
|
Statistics & downloads: |
Abstract page: | 234 | Full-text PDF : | 97 |
|