RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk SSSR,
1963
Volume 148,
Number 4,
Pages
768–770
(Mi dan27539)
MATHEMATICS
Variants of the classical predicate calculus with a unique tree of deduction
V. A. Matulis
Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences
Presented:
P. S. Novikov
Received: 24.08.1962
Fulltext:
PDF file (457 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (457 kB)