Research Catalog
Lectures on the Curry-Howard isomorphism
- Title
- Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn.
- Author
- Sørensen, Morten Heine.
- Publication
- Amsterdam ; Boston [MA] : Elsevier, 2006.
- Supplementary Content
- Publisher description
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 06-1564 | Offsite |
Details
- Additional Authors
- Urzyczyn, Paweł.
- Description
- xiv, 442 p. : ill.; 24 cm.
- Series Statement
- Studies in logic and the foundations of mathematics, 0049-237X ; v. 149
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 403-430) and index.
- Call Number
- JSE 06-1564
- ISBN
- 0444520775
- LCCN
- 2006048390
- 9780444520777
- OCLC
- 70158578
- vendorOCM70158578
- Author
- Sørensen, Morten Heine.
- Title
- Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn.
- Imprint
- Amsterdam ; Boston [MA] : Elsevier, 2006.
- Edition
- 1st ed.
- Series
- Studies in logic and the foundations of mathematics, 0049-237X ; v. 149
- Bibliography
- Includes bibliographical references (p. 403-430) and index.
- Connect to:
- Added Author
- Urzyczyn, Paweł.
- Other Standard Identifier
- 9780444520777
- Research Call Number
- JSE 06-1564