Login / Signup

On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency.

Dan E. Willard
Published in: J. Symb. Log. (2006)
Keyphrases