Logic and Proof
by Lawrence C Paulson
| Call Number: | N/A |
| Publisher: | interactive proof with Cambridge LCF, |
| ISBN: | N/A |
| Subject: | General |
Holdings / Copy Status (1)
| Barcode | Accession No. | Call Number | Library Branch | Shelving Location | Accession Date | Item Type | Status |
|---|---|---|---|---|---|---|---|
06 |
06 |
N/A |
Main Library | Main Stacks | 2025-09-18 | Books | ✓ Available |