On Simplifying Truth-Functional Formulas
โ
Review by: Robert McNaughton
๐
Article
๐
1957
๐
Association for Symbolic Logic
๐
English
โ 95 KB