Differences between revisions 138 and 139
Revision 138 as of 2008-10-24 02:28:58
Size: 2992
Editor: 209-142-131-35
Comment:
Revision 139 as of 2008-10-24 02:30:18
Size: 2975
Editor: 209-142-131-35
Comment:
Deletions are marked like this. Additions are marked like this.
Line 60: Line 60:
 * LogicalImplication ([[latex2($$\models$$)]] and [[latex2($$\vdash$$)]])  * LogicalImplication (<<latex($\models$ and $\vdash$)>>)

ComputerTerms (last edited 2020-02-02 17:49:07 by scot)