| Shelfclass_id | 4.B.3 |
| Sortkey | PAULSON, LAWRENCE |
| Authors | Lawrence Paulson |
| Title | Logic and Computation: Interactive Proof with Cambridge LCF |
| Publisher | Cambridge University Press |
| Year | 1987 |
| Languages | eng |
| Isbn | 0521395607 |
| Series | Cambridge Trackts in Theoretical Computer Science |
| Volume | 2 |
| Record date | 20071023 |
| Location | Campbridge |