## Set theory for verification: I. From foundations to functions (1993)

### Cached

### Download Links

- [www.cl.cam.ac.uk.]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Lawrence C. Paulson

Venue: | J. Auto. Reas |

Citations: | 50 - 20 self |