Revision as of 02:50, 8 November 2010 edit 174.119.186.126 (talk) →Related systems: mention ERA ← Previous edit		Revision as of 07:48, 8 November 2010 edit undo Buzz-tardis (talk \| contribs) Extended confirmed users 508 edits m →Definition: "a a" -a Next edit →
Line 5: ==Definition== EFA is a a system in first order logic (with equality). Its language contains: two constants 0, 1, three binary operations +, ×, exp, with exp(''x'',''y'') usually written as ''x''<sup>''y''</sup>,

Elementary function arithmetic: Difference between revisions