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
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 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
-
NZ$177.39NZ$16.68 shipping to USA
Show Details
Item Price
NZ$177.39
NZ$16.68
shipping to USA
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
-
NZ$197.16NZ$20.77 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
NZ$197.16
NZ$20.77
shipping to USA
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
-
NZ$254.90FREE 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
NZ$254.90
FREE shipping to USA
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
-
NZ$293.32NZ$9.00 shipping to USA
Show Details
Description:
Clarendon Press. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
NZ$293.32
NZ$9.00
shipping to USA