Back to Results
First PageMeta Content
Logic / Mathematical logic / Abstraction / Predicate logic / 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 Grabowski
Add to Reading List

Document Date: 2016-07-29 01:16:07

Open Document

File Size: 1,18 MB

Share Result on Facebook
UPDATE