On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency.

Dan E. Willard

Browse the full TABLEAUX paper archive.