Return to Article Details On First-order Theories Which Can Be Represented by Definitions Download Download PDF