Algebra and Logic
Article
Santos,PG;Kahle,R
BULLETIN OF SYMBOLIC LOGIC
2021
27
4
337-350
10.1017/bsl.2021.68
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
NOVA Math > NOVA Math > NOVA Math Publications > VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY