LARA

This is an old revision of the document!


First-Order Logic Syntax

Solve Exercise 1 given in a.