On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem Under Semantic Tableaux Deduction.

Dan E. Willard

Browse the full LFCS paper archive.