Skip to content

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in
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
Back to Top

More Copies for Sale

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October...

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$177.39
NZ$16.68 shipping to USA

Show Details

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
Item Price
NZ$177.39
NZ$16.68 shipping to USA
Twenty Five Years of Constructive Type Theory
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$197.16
NZ$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
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$254.90
FREE 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
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$293.32
NZ$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