Provability in arithmetic and a schema of Grzegorczyk
From MaRDI portal
Publication:3879211
DOI10.4064/fm-106-1-41-45zbMath0438.03021MaRDI QIDQ3879211
Publication date: 1980
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/211104
Related Items
Intuitionistic logic and modality via topology, On superintuitionistic logics as fragments of proof logic extensions, Provability, truth, and modal logic, Provability: The emergence of a mathematical modality