The Undecidability of k-Provability (1989)

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