Login / Signup

Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem.

Dan E. Willard
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases