Combinatory logic : pure, applied and typed Katalin Bimbó
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9781439800003 (hardcover : alk. paper)
- 1439800006 (hardcover : alk. paper)
- 511.3 22 BIM-C
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
IISER Central Library Third Floor - Left Wing | 511.3 BIM-C (Browse shelf(Opens below)) | Available | 0005515 |
Browsing IISER Central Library shelves, Shelving location: Third Floor - Left Wing Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.1 RAM-D Discrete mathematical structures with applications to combinatorics/ | 511.3 BEC-T The art of Proof | 511.3 BHA-C connected at infinity II: | 511.3 BIM-C Combinatory logic : | 511.3 BLO-P Proofs and Fundamentals | 511.3 BOO-C Computability and logic | 511.3 COO-C Computability theory |
Includes bibliographical references and index.
There are no comments on this title.