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

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