## Generality of proofs and its Brauerian representation

### Cached

### Download Links

- [arxiv.org]
- [arxiv.org]
- [arxiv.org]
- [arxiv.org]
- [arxiv.org]
- [arxiv.org]
- DBLP

### Other Repositories/Bibliography

by
Zoran Petrić

Venue: | J. Symbolic Logic |

Citations: | 14 - 4 self |