1. Home
  2. Science
  3. Mathematics
  4. University of Alberta Logic Course

Science · Mathematics

University of Alberta Logic Course

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

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.

Tags

Research Groups

Where it sits

Science Mathematics

More in Mathematics

See all →