| Shelfclass_id | 4.B.5 |
| Sortkey | ANDREWS, JAMES |
| Authors | James Andrews |
| Title | Logic Programming: Operational Semantics and Proof Theory |
| Publisher | Cambridge University Press |
| Year | 1992 |
| Languages | eng |
| Isbn | 052160754x |
| Series | Distinguished dissertations in computer science |
| Record date | 20071107 |
| Location | Cambridge, England |