## Proofs Without Syntax

### Cached

### Download Links

by
J. D. Hughes

Venue: | Annals of Mathematics |

Citations: | 5 - 0 self |