RUS
ENG
Full version
JOURNALS
// Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki
// Archive
Uchenye Zapiski Kazanskogo Universiteta,
1970
Volume 130,
Book 3,
Pages
54–59
(Mi uzku469)
Amplifications of formulae of predicate calculus
N. K. Zamov
,
V. I. Sharonov
Fulltext:
PDF file (635 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (635 kB)