G. E. Mints, “Varying of proof search tactics in sequenzen-calculi”, Zap. Nauchn. Sem. LOMI, 1967, Volume 4,Pages <nobr>134–151</nobr>

RUS ENG

JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

Zap. Nauchn. Sem. LOMI, 1967 Volume 4, Pages 134–151 (Mi znsl2216)

Varying of proof search tactics in sequenzen-calculi

G. E. Mints

Fulltext: PDF file (668 kB)

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025