Return to Article Details A Definability Theorem for First Order Logic Download Download PDF