Changes between Version 4 and Version 5 of FOL

Show
Ignore:
Author:
johan (IP: 81.192.187.68)
Timestamp:
06/01/08 04:53:41 (1 year ago)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • FOL

    v4 v5  
    1  
    2 eq 
    3  
    41= Syntax of First-Order Logic (FOL) = 
    52