First Page | Document Content | |
---|---|---|
Date: 2006-09-21 06:45:20Mathematical 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 inAdd to Reading ListSource URL: www.cs.ru.nlDownload Document from Source WebsiteFile Size: 278,74 KBShare Document on Facebook |