4573 search results - page 234 / 915 » Automated Reasoning |
142
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires reasoning at the meta-level. There is a particularly elegan...
