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 (Oxford Logic Guides) Hardcover - 1998

by Sambin, Giovanni

  • Used
  • Good
  • Hardcover
Drop Ship Order

Description

hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Used - Good
NZ$256.39
FREE Shipping to USA Standard delivery: 7 to 14 days
More Shipping Options
Ships from Bonita (California, United States)

Details

  • Title Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides)
  • Author Sambin, Giovanni
  • Binding Hardcover
  • Edition First Edition
  • Condition Used - Good
  • Pages 292
  • Volumes 1
  • Language ENG
  • Publisher Clarendon Press, Oxford, United Kingdom
  • Date 1998-12-10
  • Bookseller's Inventory # 0198501277.G
  • 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

About Bonita California, United States

Biblio member since 2020
Seller rating: This seller has earned a 5 of 5 Stars rating from Biblio customers.

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Bonita

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.