Revision as of 08:11, 5 February 2011 edit Cherkash (talk \| contribs) Extended confirmed users 30,407 edits m clean up using AWB ← Previous edit		Revision as of 09:41, 17 August 2011 edit undo EdwardLane (talk \| contribs) Extended confirmed users 5,111 edits m →Definition: difficult to understand Next edit →
Line 4: ==Definition== {{incoherent}} EFA is a system in first order logic (with equality). Its language contains:

Elementary function arithmetic: Difference between revisions