Differences between revisions 126 and 129 (spanning 3 versions)
Revision 126 as of 2005-08-21 16:37:06
Size: 3012
Editor: yakko
Comment:
Revision 129 as of 2006-08-22 16:30:58
Size: 3126
Editor: dot
Comment:
Deletions are marked like this. Additions are marked like this.
Line 20: Line 20:
   * CutFreeProof
Line 56: Line 57:
   * InterfaceMessagingProcessor (IMP)
Line 110: Line 112:
   * TruthFunction (notation for [[latex2($\vdash$)]]

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