RUS
ENG
Full version
JOURNALS
// Zapiski Nauchnykh Seminarov POMI
// Archive
Zap. Nauchn. Sem. LOMI,
1967
Volume 4,
Pages
58–64
(Mi znsl2208)
The normal form for deductions in the predicate calculus with equality and functional symbols
V. A. Lifshits
Fulltext:
PDF file (262 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2025
Fulltext:
PDF file (262 kB)