W. V. Quine. On cores and prime implicants of truth functions. Selected logic papers, Random House, New York1966, pp. 164–171. (Reprinted from The American mathematical monthly, vol. 66 (1959), pp. 755–760.)
Sergiu Rudeanu · Journal of Symbolic Logic · 1970
W. V. Quine. On cores and prime implicants of truth functions. Selected logic papers, Random House, New York1966, pp. 164–171. (Reprinted from The American mathematical monthly, vol. 66 (1959), pp. 755–760.) - Volume 35 Issue 2