## Accessible independence results for Peano arithmetic (1982)

by
Laurie Kirby
,
Laurie Kirby
,
Jeff Paris
,
Jeff Paris

Venue: | Bulletin of the London Mathematical Society |

Citations: | 47 - 0 self |