A self-contained provability calculus for \(\varGamma_0\)

DOI10.1007/978-3-662-59533-6_12OpenAlexW2949202275MaRDI QIDQ2303588

David Fernández-Duque, Eduardo Hermo Reyes

Publication date: 4 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-59533-6_12

zbMATH Keywords

proof theoryprovability logicordinal analysis

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

MÜNCHHAUSEN PROVABILITY

This page was built for publication: A self-contained provability calculus for \(\varGamma_0\)