A. V. Kuznetsov, “Undecidability of the general problems of completeness, solvability and equivalence for propositional calculi”, Algebra i Logika. Sem., 1963, Volume 2, Number 4,Pages <nobr>47

JOURNALS // Algebra i logika // Archive

Algebra i Logika. Sem., 1963 Volume 2, Number 4, Pages 47–66 (Mi al989)

This article is cited in 3 papers

Undecidability of the general problems of completeness, solvability and equivalence for propositional calculi

A. V. Kuznetsov

Fulltext: PDF file (1032 kB)
Cited by

Bibliographic databases: