12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 02:32, 30 June 2008
, 02:32, 30 June 2008→Tacit Extension: add bare bones definition
===Tacit Extension===
===Tacit Extension===
: <math>\epsilon f(x_1, \ldots, x_n, \ldots, x_{n+k}) = f(x_1, \ldots, x_n).</math>
===Enlargement Operator===
===Enlargement Operator===