Return to Article Details On Some Applied First-Order Theories which Can Be Represented by Definitions Download Download PDF