|
This article is cited in 3 scientific papers (total in 3 papers)
Undecidability of the general problems of completeness,
solvability and equivalence for propositional calculi
A. V. Kuznetsov
Citation:
A. V. Kuznetsov, “Undecidability of the general problems of completeness,
solvability and equivalence for propositional calculi”, Algebra i Logika. Sem., 2:4 (1963), 47–66
Linking options:
https://www.mathnet.ru/eng/al989 https://www.mathnet.ru/eng/al/v2/i4/p47
|
Statistics & downloads: |
Abstract page: | 64 | Full-text PDF : | 45 |
|