next up previous contents
Next: Untyped Relational Calculus Up: First order logic Previous: First order logic

Formal Definition of FOL



Chris Fox, September 1995