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



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024