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
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
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.