G. V. Davydov, “A proof method for the classical predicate calculus”, Zap. Nauchn. Sem. LOMI, 1967, Volume 4,Pages <nobr>8–17</nobr>

RUS ENG

JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

Zap. Nauchn. Sem. LOMI, 1967 Volume 4, Pages 8–17 (Mi znsl2204)

A proof method for the classical predicate calculus

G. V. Davydov

Fulltext: PDF file (380 kB)

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024