arXiv:2207.07397 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords first-order logic, self-reference, lindstroms second theorem, natural deduction system, related basic decision problems Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset