Deducibility and Independence in Beklemishev's Autonomous Provability Calculus
From MaRDI portal
Publication:6348066
DOI10.1016/J.IC.2021.104758arXiv2008.13445WikidataQ114014314 ScholiaQ114014314MaRDI QIDQ6348066
David Fernández-Duque, Eduardo Hermo Reyes
Publication date: 31 August 2020
This page was built for publication: Deducibility and Independence in Beklemishev's Autonomous Provability Calculus