next up previous contents
Next: First order logic Up: Property Theory (PT) Previous: Property Theory (PT)

Formal Definition of PT terms



Chris Fox, September 1995