A new proof-theoretic proof of the independence of Kirby-Paris’ Hydra Theorem (2003)

by L Carlucci
Venue:Theoretical Computer Science