Introduction to combinators and λ - calculus
Series: London Mathematical Society Student TextsPublication details: Cambridge: Cambridge University Press, 1986. Description: 360p. illISBN: 0521318394Subject(s): Combinatory logic | Lambda calculus
Books
| Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Main Stack | Non Fiction | QA9.5 .H56 1986 (Browse shelf(Opens below)) | Available | BK0025932 |
Browsing Main shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| QA8.4 .S532 2000 Thinking about mathematics: the philosphy of mathematics | QA9 .E54 1972 A mathematical introduction to logic | QA9 .S52 1967 Mathematical logic | QA9.5 .H56 1986 Introduction to combinators and λ - calculus | QA9.58 .N43 1996 Foundations of algorithms | QA11.A1 J68 Journal of mathematical sciences education | QA11.A1 J68 Journal of mathematical sciences education |
There are no comments on this title.