The undecidability of k-provability, Ann (1991)

by S R Buss
Venue:Pure Appl. Logic