VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
-
Published:2021-12-02
Issue:
Volume:
Page:1-15
-
ISSN:1079-8986
-
Container-title:The Bulletin of Symbolic Logic
-
language:en
-
Short-container-title:Bull. symb. log
Author:
SANTOS PAULO GUILHERMEORCID,
KAHLE REINHARDORCID
Publisher
Cambridge University Press (CUP)