Revision as of 03:46, 17 September 2011 edit Headbomb (talk \| contribs) Edit filter managers, Autopatrolled, Extended confirmed users, Page movers, File movers, New page reviewers, Pending changes reviewers, Rollbackers, Template editors 473,108 edits m Various citation cleanup and WP:AWB general fixes using AWB ← Previous edit		Revision as of 21:16, 31 October 2012 edit undo Tijfo098 (talk \| contribs) 16,966 edits →Definition: difficult to understand does not equal incoherent Next edit →
Line 4: ==Definition== ~~{{incoherent\|date=September 2011}}~~ EFA is a system in first order logic (with equality). Its language contains: *two constants 0, 1,

Elementary function arithmetic: Difference between revisions