Lectures on the Curry-Howard Isomorphism: Volume 149
by Morten Heine Sorensen
- New
- Hardcover
- Condition
- New
- ISBN 10
- 0444520775
- ISBN 13
- 9780444520777
- Seller
-
Southport, Merseyside, United Kingdom
10 Copies Available from This Seller
(You can add more at checkout.)
Payment Methods Accepted
About This Item
Hardback. New. The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as in type theory. The isomorphism has many aspects, even at syntactic level. This book offers an introduction to the proof theory and related aspects of type theory relevant for the isomorphism.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- The Saint Bookstore (GB)
- Bookseller's Inventory #
- A9780444520777
- Title
- Lectures on the Curry-Howard Isomorphism: Volume 149
- Author
- Morten Heine Sorensen
- Format/Binding
- Hardback
- Book Condition
- New New
- Quantity Available
- 10
- Binding
- Hardcover
- ISBN 10
- 0444520775
- ISBN 13
- 9780444520777
- Publisher
- Elsevier Science
- This edition first published
- September 14, 2006
Terms of Sale
The Saint Bookstore
Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.
About the Seller
The Saint Bookstore
Biblio member since 2018
Southport, Merseyside
About The Saint Bookstore
The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.
Glossary
Some terminology that may be used in this description includes:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...