Title: | Equivalence of the structural completeness theorem for propositional calculus and the Boolean representation theorem |
---|---|
Author(s): | W.A. Pogorzelski T. Prucnal |
Appeared: | Rep. Math. Logic , 1974, , 3, 37-40. |
Notes: | NULL |
Status: | published |
Display: | Pogorzelski, W.A. 1974 |
ID: | 350 |