Image from Amazon.com
Combinatory logic [electronic resource] : pure, applied and typed / Katalin Bimb�o.
Series: Boca Raton, FL : CRC Press, c2012ISBN:- 9781439800003 (hardcover : alk. paper)
- 511.3 23
- QA9.5 .B56 2012
BOOKS
| Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
| Alfaisal University On Shelf | Alfaisal University On Shelf | QA9.5 .B56 2012 (Browse shelf(Opens below)) | Available | AU0000000005897 |
Total holds: 0
Browsing Alfaisal University shelves, Shelving location: On Shelf Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| Q375 .T35 2010 The black swan : | Q387 .D66 2015 The master algorithm : | QA8.4 .L56 2017 Philosophy of mathematics / | QA9.5 .B56 2012 Combinatory logic | QA9.54 .B55 2015 Proof theory : | QA9.58 .B43 2016 Grokking algorithms : | QA9.58 .B56 2022 Language and the rise of the algorithm / |
Includes bibliographical references and index.
License restrictions may limit access.