Image from Amazon.com
Combinatory logic : pure, applied and typed / Katalin Bimbó
Material type:
TextSeries: Discrete mathematics and its applicationsPublication details: Boca Raton, FL : CRC Press, 2012Description: xi, 345 p. : ill. ; 24 cmISBN: - 9781439800003 (hardcover : alk. paper)
- 1439800006 (hardcover : alk. paper)
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Open Shelf
|
UMPLIB PEKAN | QA9.5 .B56 2012 (Browse shelf(Opens below)) | 1 | Available | 0000072307 |
Includes bibliographical references and index