Skip to content

Lectures on the Curry-Howard Isomorphism: Volume 149

Lectures on the Curry-Howard Isomorphism: Volume 149

Lectures on the Curry-Howard Isomorphism: Volume 149

Lectures on the Curry-Howard Isomorphism: Volume 149

by Morten Heine Sorensen

  • New
  • Hardcover
Condition
New
ISBN 10
0444520775
ISBN 13
9780444520777
Seller
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Southport, Merseyside, United Kingdom
10 Copies Available from This Seller
(You can add more at checkout.)
Item Price
£130.25
Or just £117.22 with a
Bibliophiles Club Membership
£9.95 Shipping to USA
Standard delivery: 14 to 21 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

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!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Bookseller
The Saint Bookstore GB (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

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
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"...
tracking-