Image from Amazon.com
Lectures on the Curry-Howard isomorphism / Morten Heine Sorensen and Pawe Urzyczyn.
Material type:
TextSeries: Studies in logic and the foundations of mathematics ; vol. 149Publication details: Boston : Elsevier, 2006.Description: xiv, 442 p. : illustrations ; 25 cmISBN: - 9780444520777 (hbk.)
- 511.326 SOR
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Books
|
H.T. Parekh Library | SIAS Collection | 511.326 SOR (Browse shelf(Opens below)) | Checked out to Abhishek De (120479) | 12/08/2026 | K19385 |
Browsing H.T. Parekh Library shelves,Collection: SIAS Collection Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.322 MOS Notes on set theory / | 511.322 POT Set theory and its philosophy: a critical introduction / | 511.322 SET Sets and computations / | 511.326 SOR Lectures on the Curry-Howard isomorphism / | 511.33 LAT Lattice Path Combinatorics and Applications / | 511.34 FIN Finite and algorithmic model theory / | 511.35 HOP Introduction to automata theory, languages, and computation / |
There are no comments on this title.
Log in to your account to post a comment.