## Forcing in Proof Theory (2004)

### View PDF

### Download Links

- [www.andrew.cmu.edu]
- [www.andrew.cmu.edu]
- [www.andrew.cmu.edu]
- [www.andrew.cmu.edu]
- [www.contrib.andrew.cmu.edu]
- DBLP

### Other Repositories/Bibliography

by
Jeremy Avigad

Venue: | BULL SYMB LOGIC |

Citations: | 11 - 0 self |