RUS
ENG
Full version
JOURNALS
// Trudy Moskovskogo Matematicheskogo Obshchestva
// Archive
Tr. Mosk. Mat. Obs.,
1960
Volume 9,
Pages
357–371
(Mi mmo107)
This article is cited in
14
papers
On the completeness of the propositional calculus with additional operations in one argument
Ya. S. Smetanich
Birsk
Received:
06.10.1959
Fulltext:
PDF file (1743 kB)
Cited by
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2024