Title:
Lectures on the Curry-Howard isomorphism
Author:
Sørensen, Morten Heine.
ISBN:
9780444520777
9780080478920
Edition:
1st ed.
Publication Information:
Amsterdam ; Boston [MA] : Elsevier, 2006.
Physical Description:
1 online resource (xiv, 442 p.) : ill.
Series:
Studies in logic and the foundations of mathematics, v. 149
Series Title:
Studies in logic and the foundations of mathematics, 0049-237X ; v. 149
Added Author:
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780444520777Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 256636-1001 | ONLINE | Searching... | Searching... |