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
Contact BYU Independent Study
Business Hours
Monday–Friday (except holidays)
8:00 a.m.–5:00 p.m. Mountain Time
Closed Tuesdays 10:45 a.m.–noon for university devotionals.
Toll-Free: 1-800-914-8931
Local: 801-422-2868
Fax: 801-422-0102
Send us a message
How are we doing?
Street Address
Harman Continuing Education Building
770 E University Pkwy
Provo UT 84602
Mailing Address
BYU Independent Study
229 HCEB
770 E University Pkwy
Provo UT 84602
