A Self-contained Provability Calculus for ₀ | Publicación