First Page | Document Content | |
---|---|---|
Date: 2016-07-29 01:16:07Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar | Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam GrabowskiAdd to Reading ListSource URL: mizar.uwb.edu.plDownload Document from Source WebsiteFile Size: 1,18 MBShare Document on Facebook |