Differences between revisions 40 and 42 (spanning 2 versions)
⇤ ← Revision 40 as of 2003-10-03 19:49:27 →
Size: 1142
Editor: yakko
Comment:
← Revision 42 as of 2003-10-08 23:41:54 → ⇥
Size: 1176
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 19: Line 19:
   * LogicalImplication (|= symbol)    * LogicalImplication (|= symbol and also |-)
Line 38: Line 38:
   * ["Undecidable"]

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