University of Alberta Logic Course

University of Alberta Logic Course
All Links

Share this:

Details of University of Alberta Logic Course

About University of Alberta Logic Course
University of Alberta Logic Course- Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
Research Groups