Papers tagged logic An Argumentation Model of Reasoning Database Metatheory: Asking the Big Queries On Computable Numbers, with an Application to the Entscheidungsproblem On Computable Numbers, with an Application to the Entscheidungsproblem Out of the Tar Pit Browse All Keywords By Category