Reductive logic and proof-search : proof theory, semantics, and control / David J. Pym, Eike Ritter
Main Author Pym, David J. Coauthor Ritter, Eike Country Reino Unido. Publication Oxford : Clarendon Press, 2004 Description XV, 208 p. : il. ; 24 cm Series Oxford logic guides , 45 ISBN 0-19-852633-4 CDU 510.6| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Monografia | Biblioteca Geral da Universidade do Minho | BGUM 510.6 - P | Checked out | 2024-09-02 | 356732 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.