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: | 25 - 0 self |
Document Versions
| The Undecidability of k-Provability –Samuel R. Buss — 1989 — Annals of Pure and Applied Logic |
| The undecidability of k-provability –Samuel R. Buss — 1991 — Annals of Pure and Applied Logic |
