<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2018-07-19 05:32:19Mathematical logic Logic Mathematics Axioms of set theory 1Q Axiom |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2018-07-19 05:32:19Mathematical logic Logic Mathematics Axioms of set theory 1Q Axiom |
Add to Reading List |
Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener