Stock Photo: Cover May Be Different
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics) Hardcover - 2006 - 1st Edition
by Morten Heine Sørensen; Pawel Urzyczyn
Details
- Title Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
- Author Morten Heine Sørensen; Pawel Urzyczyn
- Binding Hardcover
- Edition number 1st
- Edition 1
- Pages 442
- Language ENG
- Publisher Elsevier Science
- Date September 14, 2006
- Features Bibliography, Illustrated, Index, Table of Contents
- ISBN 9780444520777
More Copies for Sale
Stock Photo: Cover May Be Different
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
by Morten Heine Srensen/ Pawel Urzyczyn
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444520777 / 0444520775
- Quantity Available
- 1
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
$154.60$12.67 shipping to USA
Show Details
Description:
Elsevier Science Ltd, 2006. Hardcover. New. 1st edition. 442 pages. 9.00x6.00x0.75 inches.
Item Price
$154.60
$12.67
shipping to USA
Stock Photo: Cover May Be Different
Lectures on the Curry-Howard Isomorphism
by Sørensen, Morten Heine, Urzyczyn, Pawel
- Used
- Condition
- Used - Very Good
- ISBN 10 / ISBN 13
- 9780444520777 / 0444520775
- Quantity Available
- 1
- Seller
-
Dunfermline, Fife, United Kingdom
- Item Price
-
$128.38$10.00 shipping to USA
Show Details
Description:
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.
Item Price
$128.38
$10.00
shipping to USA
Lectures on the Curry-Howard Isomorphism: Volume 149
by Morten Heine Sorensen
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444520777 / 0444520775
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$165.03$12.61 shipping to USA
Show Details
Description:
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.
Item Price
$165.03
$12.61
shipping to USA
Stock Photo: Cover May Be Different
Lectures on the Curry-Howard Isomorphism
by Pawel Urzyczyn
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444520777 / 0444520775
- Quantity Available
- 778
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$198.18$10.12 shipping to USA
Show Details
Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Lectures on the Curry-Howard Isomorphism.
Item Price
$198.18
$10.12
shipping to USA
Stock Photo: Cover May Be Different
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
by Sørensen M.Sc Ph.D, Morten Heine; Urzyczyn prof. dr hab., Pawel
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444520777 / 0444520775
- Quantity Available
- 5
- Seller
-
campbelltown, Florida, United States
- Item Price
-
$218.00$10.00 shipping to USA
Show Details
Description:
Elsevier Science. Hardcover. New. 8x6x0.
Item Price
$218.00
$10.00
shipping to USA
Stock Photo: Cover May Be Different
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
by Sørensen M.Sc Ph.D, Morten Heine, Urzyczyn prof. dr hab., Pawel
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9780444520777 / 0444520775
- Quantity Available
- 1
- Seller
-
Victoria, British Columbia, Canada
- Item Price
-
$225.00$14.99 shipping to USA
Show Details
Description:
Elsevier Science. New. Special order direct from the distributor
Item Price
$225.00
$14.99
shipping to USA
Stock Photo: Cover May Be Different
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
by Sørensen M.Sc Ph.D, Morten Heine; Urzyczyn prof. dr hab., Pawel
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780444520777 / 0444520775
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
$225.97$5.45 shipping to USA
Show Details
Description:
Elsevier Science, 2006-09-28. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$225.97
$5.45
shipping to USA