Diff for "FirstOrderPredicateLogic"

Differences between revisions 1 and 2

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 2 as of 2003-09-12 02:16:00 → ⇥
  Size: 45
  Editor: yakko
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 1:
-Describe FirstOrderPredicateLogic here.
+See attachment:FirstOrderPredicateLogic.pdf