Login / Signup

The Tangibility Reflection Principle for Self-Verifying Axiom Systems.

Dan E. Willard
Published in: Kurt Gödel Colloquium (1997)
Keyphrases