Cover image for Lectures on the Curry-Howard isomorphism
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:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 256636-1001 ONLINE
Searching...

On Order