{"version":"1.0","type":"link","title":"Elementary function arithmetic - Newikis","description":"In proof theory, a branch of mathematical logic, elementary function arithmetic (EFA), also called elementary arithmetic and exponential function arithmetic, is the system of arithmetic with the usual elementary properties of 0, 1, +, ×, , together with induction for formulas with bounded…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}