RUS  ENG
Full version
JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive
Zap. Nauchn. Sem. LOMI, 1968 Volume 8, Pages 202–210 (Mi znsl2265)
Two unsolvable classes of formulas of classical predicate calculus

V. P. Orevkov




Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025