G. V. Davydov, “Some notes on proof searching in predicate calculus”, Zap. Nauchn. Sem. LOMI, 1968, Volume 8,Pages <nobr>8–20</nobr>

RUS ENG

JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive

Zap. Nauchn. Sem. LOMI, 1968 Volume 8, Pages 8–20 (Mi znsl2244)

Some notes on proof searching in predicate calculus

G. V. Davydov

Fulltext: PDF file (658 kB)

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024