Diff for "FirstOrderPredicateLogic"

Differences between revisions 1 and 3 (spanning 2 versions)

See attachment:FirstOrderPredicateLogic.pdf

FirstOrderPredicateLogic (last edited 2008-10-24 02:32:50 by 209-142-131-35)

-  ⇤ ← Revision 1 as of 2003-09-12 02:15:18 → 
  Size: 41
  Editor: yakko
  Comment:
+   ← Revision 3 as of 2003-09-16 17:08:21 → ⇥
  Size: 70
  Editor: anonymous
  Comment: missing edit-log entry for this revision
-Deletions are marked like this.
+Additions are marked like this.
 Line 1:
-Describe FirstOrderPredicateLogic here.
+See attachment:FirstOrderPredicateLogic.pdf

Back to ComputerTerms