LARA This is an old revision of the document! Overview Relations - example proofs English and First-Order Logic Tools Demo First-Order Logic Syntax (Revision) Undecidability of First_order Logic