1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Dan E. Willard
This paper will develop a single framework for unifying, simplifying and extending our prior results about axiom systems that retain a partial knowledge of their own consistency, v…