Formal Logic

Catalog description

An introduction to contemporary techniques in logic with special attention given to deductive models and decision methods. Emphasis is placed on the application of logic to argument analysis, problem solving, foundations of mathematics, science, and computer science.