DOI10.1145/321978.321988zbMath0352.94027OpenAlexW2008521268MaRDI QIDQ4123249
John P. Hayes
Publication date: 1976 Published in: Journal of the ACM (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1145/321978.321988
Mathematics Subject Classification ID
Classical propositional logic (03B05)
Related Items