## The Undecidability of k-Provability (1989)

### Cached

### Download Links

- [euclid.ucsd.edu]
- [euclid.ucsd.edu]
- [www.math.ucsd.edu]
- [math.ucsd.edu]
- DBLP

### Other Repositories/Bibliography

by
Samuel R. Buss

Venue: | Annals of Pure and Applied Logic |

Citations: | 27 - 0 self |