Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers (Paperback or Softback)

Barendregt, Henk

Language: English

Published by Springer 5/20/1994, 1994

3540580859 / 9783540580850

  • Softcover
  • New
See all details

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

5-star seller

AbeBooks seller since January 23, 2002

View this seller's items
Softcover

Condition: New

US$ 65.62

 Free Shipping 
Ships within U.S.A.

Quantity: 5 available

Add to basket
Free 30-day returns
Save for laterCreate a Want for similar items

Item description from seller

Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers.

Seller Inventory # BBS-9783540580850

Report this item
Title
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers (Paperback or Softback)
Author
Barendregt, Henk
Publisher
Springer 5/20/1994
Publication year
1994
Condition
New
Book Type
Book
Binding
Paperback or Softback
Language
English
ISBN 10
3540580859
ISBN 13
9783540580850
Item weight
1.25 pounds

BargainBookStores

Grand Rapids, MI, U.S.A.

5-star seller

AbeBooks seller since January 23, 2002

Shipping rates within U.S.A.

Item4 to 10 business days4 to 9 business days
First itemUS$ 0.00US$ 39.50
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Store description

Save up to 90% on your favorite items at BargainBookStores.com! Our 20,000 square foot warehouse in Grand Rapids, Michigan is filled with hundreds of thousands of books and consumer goods, all at the lowest prices! We've been serving internet customers with great deals since 2001. All books ship from Grand Rapids, Michigan. 100% Customer Satisfaction Guaranteed We want to ensure your satisfaction. If you are dissatisfied with your purchase or shopping experience, we would like to hear from you. Please contact us by email: cs@bargainbookstores.com. Please be sure to include your contact information and order number. We do not charge a restocking fee for returns. Your Privacy BargainBookStores.com does not provide, sell or market customer information to other businesses or organizations.…

Specialty

Out of Print Books, Specializing in Academic and Professional Books, Bargain Books - Save Up to 90% Off Publisher's List Price!, Remainder Books, Store-Wide Range of New Books in all Categories

Seller's business information

BargainBookStores

3423 Lousma Dr SE
Grand Rapids, MI U.S.A. 49548

Contact sellerView this seller's itemsView seller's storefront