On some formalized conservation results in arithmetic (1990)

by P Clote, P Hájek, J Paris
Venue:Arch. Math. Logic