Part of the Philosophy Commons
An Investigation of Decision Procedures for the Propositional Calculus, J Dalton Tarwater Philosophy ETDs
PDF
Advanced Search