Book lectures on the curry-howard isomorphism (studies in logic and the foundations of mathematics) - Compare Prices and buy the Book



Title: Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)
Author: Morten Heine SørensenPawel Urzyczyn
ISBN: 0444520775
EAN: 9780444520777
456 Pages
Publisher: Elsevier Science
Binding: Hardcover
Publication date: 2006-07-04


shopcond.avail.pricedelivery coststotal
Book Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics) new from BooksellerNEW£ 59.75£ 2.75£ 62.50Buy now
Book Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics) on Amazon UK Buy nowNEW£ 68.40free on orders over £ 19£ 68.40Buy now
Compman - Buy NowNEW£ 72.00free on orders over £ 5£ 72.00Buy now
Blackwell - Buy NowNEW£ 72.00free on orders over £ 20£ 72.00Buy now
bookfellas - Buy NowNEW£ 72.00free on orders over £ 5£ 72.00Buy now
Used Book Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics) bei Amazon Buy nowUSED£ 70.58£ 2.75£ 73.33Buy now
USED*£ 72.00starting at £2.40£ 74.40Buy now


similar books

Basic Category Theory for Computer Scientists (Foundations of computing) Basic Category Theory for Computer ...
Categories for the Working Mathematician (Graduate Texts in Mathematics) Categories for the Working Mathemat...
Natural Deduction: A Proof-Theoretical Study Natural Deduction: A Proof-Theoreti...
Programming in Haskell Programming in Haskell
The Fun of Programming (Cornerstones of Computing) The Fun of Programming (Cornerstone...
Category Theory (Oxford Logic Guides) Category Theory (Oxford Logic Guide...
Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) Categorical Logic and Type Theory (...
An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy) (Cambridge Introductions to Philosophy) An Introduction to Godel's Theorems...
Incompleteness in the Land of Sets (Studies in Logic) Incompleteness in the Land of Sets ...
Models and Ultraproducts: An Introduction Models and Ultraproducts: An Introd...

last viewed books

The Last Resort : Photographs of New Brighton The Last Resort : Photographs of Ne...
CART: OFFICIAL CHAMP CAR YEARBOOK CART: OFFICIAL CHAMP CAR YEARBOOK
Wandering Lark: Demon Bound (The Demon Bound) Wandering Lark: Demon Bound (The De...
Coben Tie-In 30-Copy Mixed Floor Display Coben Tie-In 30-Copy Mixed Floor Di...
Cats 2009 Calendar Mini Desk Block: 0 Cats 2009 Calendar Mini Desk Block:...
If the Horseshoe Fits (Horseland) If the Horseshoe Fits (Horseland)