consistency statements and interpretation (1985)

by P Pudl'ak, Cuts
Venue:Journal of Symbolic Logic