Logic of proofs and provability (2002)

by T Yavorskaya
Venue:Annals of Pure and Applied Logic