First Page | Document Content | |
---|---|---|
![]() Date: 2016-07-29 01:16:07Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar Automated proof checking Quantifier | Add to Reading List |