University of Alberta Logic Course
Edit Page
Report
Scan day: 09 February 2014 UTC
0
Virus safety - good
Description: Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
—
Size: 0 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | |
| Keywords: | |
| Description: | |
| IP-address: | 129.128.184.6 |
WHOIS Info
| NS | Name servers: name.ualberta.ca 129.128.5.233 nom.ualberta.ca 129.128.76.233 |
| WHOIS | status: registered |
| Date | Creation date: 2000/10/04 Expiry date: 2014/12/20 |