|
Trudy Moskovskogo Matematicheskogo Obshchestva, 1960, Volume 9, Pages 357–371
(Mi mmo107)
|
|
|
|
This article is cited in 14 scientific papers (total in 14 papers)
On the completeness of the propositional calculus with additional operations in one argument
Ya. S. Smetanich Birsk
Received: 06.10.1959
Citation:
Ya. S. Smetanich, “On the completeness of the propositional calculus with additional operations in one argument”, Tr. Mosk. Mat. Obs., 9, 1960, 357–371
Linking options:
https://www.mathnet.ru/eng/mmo107 https://www.mathnet.ru/eng/mmo/v9/p357
|
Statistics & downloads: |
Abstract page: | 205 | Full-text PDF : | 94 |
|