Lectures on the Curry-Howard Isomorphism

Author:   Morten Heine Sørensen, M.Sc, Ph.D (University of Copenhagen, Denmark) ,  Pawel Urzyczyn (Warsaw University, Poland)
Publisher:   Elsevier Science & Technology
Edition:   149th edition
Volume:   v. 149
ISBN:  

9780444520777


Pages:   456
Publication Date:   04 July 2006
Format:   Hardback
Availability:   Out of print, replaced by POD   Availability explained
We will order this item for you from a manufatured on demand supplier.

Our Price $382.80 Quantity:  
Add to Cart

Share |

Lectures on the Curry-Howard Isomorphism


Add your own review!

Overview

Full Product Details

Author:   Morten Heine Sørensen, M.Sc, Ph.D (University of Copenhagen, Denmark) ,  Pawel Urzyczyn (Warsaw University, Poland)
Publisher:   Elsevier Science & Technology
Imprint:   Elsevier Science Ltd
Edition:   149th edition
Volume:   v. 149
Dimensions:   Width: 15.20cm , Height: 2.20cm , Length: 22.90cm
Weight:   0.830kg
ISBN:  

9780444520777


ISBN 10:   0444520775
Pages:   456
Publication Date:   04 July 2006
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Out of print, replaced by POD   Availability explained
We will order this item for you from a manufatured on demand supplier.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List