|
Zapiski Nauchnykh Seminarov LOMI, 1968, Volume 8, Pages 175–181
(Mi znsl2260)
|
|
|
|
The implicative complexity of axiomatics
G. E. Mints
Citation:
G. E. Mints, “The implicative complexity of axiomatics”, Studies in constructive mathematics and mathematical logic. Part II, Zap. Nauchn. Sem. LOMI, 8, "Nauka", Leningrad. Otdel., Leningrad, 1968, 175–181
Linking options:
https://www.mathnet.ru/eng/znsl2260 https://www.mathnet.ru/eng/znsl/v8/p175
|
Statistics & downloads: |
Abstract page: | 168 | Full-text PDF : | 68 |
|