—SEC. 05 — Education

Education

Subcategories0

Indexed links2

Direct links2

Total subtree0

— SEC. 01
Listings

All links in this category.

Showing 1–2 of 2 editor-approved links.

Showing 2 on this page

Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.

(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.