FOL

• FOL Notions
• FOL History
• The original FOL Papers
• FOL Annotated Bibliography
• FOL notes
• GETFOL Manual

• NEWFOL: Building and Manipulating FOL [context]
• A Summary of FOL Notions

Use Cases