Paolo Gentilini. Provability Logic in the Gentzen Formulation of Arithmetic. Math. Log. Q., 38(1):535-550, 1992. [doi]
@article{Gentilini92, title = {Provability Logic in the Gentzen Formulation of Arithmetic}, author = {Paolo Gentilini}, year = {1992}, doi = {10.1002/malq.19920380150}, url = {http://dx.doi.org/10.1002/malq.19920380150}, researchr = {https://researchr.org/publication/Gentilini92}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {38}, number = {1}, pages = {535-550}, }