On the existence of strong proof complexity generators
-
Published:2023-11-22
Issue:
Volume:
Page:1-22
-
ISSN:1079-8986
-
Container-title:The Bulletin of Symbolic Logic
-
language:en
-
Short-container-title:Bull. symb. log
Publisher
Cambridge University Press (CUP)