Differences between revisions 39 and 49 (spanning 10 versions)
Revision 39 as of 2003-10-03 19:39:43
Size: 1143
Editor: yakko
Comment:
Revision 49 as of 2003-10-13 22:28:25
Size: 1269
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
   * AdvertisedWindow
Line 19: Line 20:
   * LogicalImplication (|= symbol)    * LogicalImplication (|= symbol and also |-)
Line 30: Line 31:
   * ["Propositions"] or PropositionalLogic    * PowerSet
* ["Proposition"] or PropositionalLogic
Line 35: Line 37:
   * SemanticsSyntaxSortsInLogic
   * SequenceNumber
Line 38: Line 42:
   * ["Undecidable"]

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