Combinators, λ-terms and proof theory / Sören Stenlund
Main Author Stenlund, Sören Country Holanda. Publication Dordrecht : D. Reidel, cop. 1972 Description 184 p. ; 24 cm Series Synthese library ISBN 90-277-0305-1 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 - S | Available | 365435 |
Total holds: 0
Enhanced descriptions from Syndetics:
There are no comments for this item.