12,089
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 19:36, 2 July 2009
, 19:36, 2 July 2009→Tables
\end{matrix}</math></p>
\end{matrix}</math></p>
|-
|-
|
| height="160px" | [[Image:Cactus (X,(A),(B),(C)) Big.jpg|90px]]
| <math>\texttt{(} x, \texttt{(} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
| <math>\texttt{(} x, \texttt{(} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
|
|