DOI10.1515/9781614516873.147zbMath1429.03026OpenAlexW4256371604MaRDI QIDQ5213566
Curtis Franks
Publication date: 3 February 2020 Published in: Logic Without Borders (Search for Journal in Brave) Full work available at URL: https://semanticscholar.org/paper/b8717a4944501e86e425fd83b82160d6bf904e8e
zbMATH Keywords
proof theoryintuitionistic logicadmissibilityphilosophy
Mathematics Subject Classification ID
Philosophical and critical aspects of logic and foundations (03A05)
Related Items
