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