Intermediate Formal Logic
History and use of first-order logic and second-order logic; natural-deduction and axiomatic proofs; modal logic; set theory and foundations of mathematics.
10% Off for Your Students
“We are very thankful for the courses you offer and the credibility they carry with universities.”
—HS counselor, Oregon
10% Off for Your Students
“We are very thankful for the courses you offer and the credibility they carry with universities.”
—HS counselor, Oregon
