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
Browsing Alfaisal University Shelves , Shelving location: On Shelf Close shelf browser
Q375 .T35 2010 The black swan : the impact of the highly improbable / | Q387 .D66 2015 The master algorithm : how the quest for the ultimate learning machine will remake our world / | QA8.4 .L56 2017 Philosophy of mathematics / | QA9.5 .B56 2012 Combinatory logic pure, applied and typed / | QA9.54 .B55 2015 Proof theory : sequent calculi and related formalisms / | QA9.58 .B43 2016 Grokking algorithms : an illustrated guide for programmers and other curious people / | QA11.2 .F365 2014 Mathematics Higher Level for the IB Diploma |
Includes bibliographical references and index.
License restrictions may limit access.