Description:

Foundations of propositional, predicate, higher-order, multiple-value logic; normal forms; deduction systems, models. Describing software states; verifying program properties; mechanized theorem-proving systems.