Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversar
![Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in](https://d3525k1ryd2155.cloudfront.net/f/275/501/9780198501275.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 Hardcover - 1998
by Giovanni Sambin; Jan M. Smith
First line
The aim of this paper is to provide a way of extracting the constructive content of a certain family of classical proofs directly from the proofs themselves.
Details
- Title Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
- Author Giovanni Sambin; Jan M. Smith
- Binding Hardcover
- Edition First Edition
- Pages 292
- Volumes 1
- Language ENG
- Publisher Clarendon Press, Oxford, United Kingdom
- Date 1998-12-10
- ISBN 9780198501275 / 0198501277
- Weight 1.29 lbs (0.59 kg)
- Dimensions 9.21 x 6.14 x 0.69 in (23.39 x 15.60 x 1.75 cm)
- Library of Congress Catalog Number 98029962
- Dewey Decimal Code 511.3
More Copies for Sale
![Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October...](https://d3525k1ryd2155.cloudfront.net/h/714/984/1589984714.0.m.jpg)
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
by Giovanni Sambin
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780198501275 / 0198501277
- Quantity Available
- 330
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
SGD 147.69SGD 13.89 shipping to USA
Show Details
Item Price
SGD 147.69
SGD 13.89
shipping to USA
![Twenty Five Years of Constructive Type Theory](https://d3525k1ryd2155.cloudfront.net/f/275/501/9780198501275.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Twenty Five Years of Constructive Type Theory
by Giovanni Sambin
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780198501275 / 0198501277
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
SGD 164.16SGD 17.30 shipping to USA
Show Details
Description:
Hardback. New. Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.
Item Price
SGD 164.16
SGD 17.30
shipping to USA
![Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October...](https://d3525k1ryd2155.cloudfront.net/f/275/501/9780198501275.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides)
by Sambin, Giovanni
- Used
- Good
- Hardcover
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780198501275 / 0198501277
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
SGD 212.20FREE shipping to USA
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
SGD 212.20
FREE shipping to USA
![Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October...](https://d3525k1ryd2155.cloudfront.net/f/275/501/9780198501275.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides, 36)
by Sambin, Giovanni; Smith, Jan M
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780198501275 / 0198501277
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
SGD 244.18SGD 7.49 shipping to USA
Show Details
Description:
Clarendon Press. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
SGD 244.18
SGD 7.49
shipping to USA