![Mathematical logic / Model theory / Predicate logic / Mizar system / First-order logic / Logical syntax / Function / Mizar and Alcor / Well-formed formula / Logic / Mathematics / Formal languages Mathematical logic / Model theory / Predicate logic / Mizar system / First-order logic / Logical syntax / Function / Mizar and Alcor / Well-formed formula / Logic / Mathematics / Formal languages](https://www.pdfsearch.io/img/0eb66f3ac0d6d99635b36e191620b469.jpg)
| Document Date: 2006-09-21 06:45:20 Open Document File Size: 278,74 KBShare Result on Facebook
Facility Mizar Mathematical Library / / Movie THE STATEMENT 5 / / OperatingSystem DOS / Unix / Microsoft Windows / / Organization Association of Mizar Users Processing / Association of Mizar Users / / Person Nat / / Position straight-forward / favorite text editor / emacs editor / / ProgrammingLanguage Pascal / / Technology Unix / /
SocialTag |