Return to Article Details A Note on Omitting Types in Propositional Logic Download Download PDF