Return to Article Details A Topological-algebraic Approach to the Compactness Theorem of Classical Logic Download Download PDF