First Page | Document Content | |
---|---|---|
Date: 2018-07-19 05:32:19Mathematical logic Logic Mathematics Axioms of set theory 1Q Axiom | Instantiation for Theory Reasoning in Vampire Giles Reger Martin RienerAdd to Reading ListSource URL: www.logic.atDownload Document from Source WebsiteFile Size: 109,46 KBShare Document on Facebook |