A Self-contained Provability Calculus for Γ

David Fernndez-Duque, Eduardo Hermo Reyes

Browse the full WoLLIC paper archive.