Elsevier Science & Technology. Used - Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Elsevier Science & Technology ISBN 0444520775 9780444520777 [GB]

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. ISBN 0444520775 9780444520777 [GB]

Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Lectures on the Curry-Howard Isomorphism. ISBN 0444520775 9780444520777 [GB]

Elsevier Science. New. Special order direct from the distributor Elsevier Science ISBN 0444520775 9780444520777 [CA]

Elsevier Science, Date: 2006-09-28. Hardcover. New. New. In shrink wrap. Looks like an interesting title! 2006. Elsevier Science ISBN 0444520775 9780444520777 [US]