Back to Results
First PageMeta Content
Mathematical logic / Model theory / Predicate logic / Mizar system / First-order logic / Logical syntax / Function / Mizar and Alcor / Well-formed formula / Logic / Mathematics / Formal languages


Chapter 1 Writing a Mizar article in
Add to Reading List

Document Date: 2006-09-21 06:45:20

Open Document

File Size: 278,74 KB

Share Result on Facebook
UPDATE