Logic of Proofs and Provability (0)

by T Yavorskaya
Venue:Annals of Pure and Applied Logic