LARA

Sets and Relations

Sets and Relations - useful preparation for program semantics

First-Order Logic

First-Order Logic, also called predicate logic or predicate calculus, extends propositional Logic with functions, relations, and quantification over individuals.

Topics

References