Combinatory logic [electronic resource] : pure, applied and typed / Katalin Bimb�o.
By: Bimb�o, Katalin.
Series: Boca Raton, FL : CRC Press, c2012ISBN: 9781439800003 (hardcover : alk. paper).Subject(s): Combinatory logicGenre/Form: Print books.DDC classification: 511.3Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|
On Shelf | QA9.5 .B56 2012 (Browse shelf) | Available | AU0000000005897 |
Total holds: 0
Includes bibliographical references and index.
License restrictions may limit access.