G. E. Mints, “The implicative complexity of axiomatics”, Zap. Nauchn. Sem. LOMI, 1968, Volume 8,Pages <nobr>175–181</nobr>

RUS ENG

JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

Zap. Nauchn. Sem. LOMI, 1968 Volume 8, Pages 175–181 (Mi znsl2260)

The implicative complexity of axiomatics

G. E. Mints

Fulltext: PDF file (278 kB)

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025