Skip to content

A Transfinite Type Theory with Type Variables

A Transfinite Type Theory with Type Variables

Click for full-size.

A Transfinite Type Theory with Type Variables

by Andrews, Peter B

  • Used
  • Hardcover
  • first
Condition
See description
Seller
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Ithaca, New York, United States
Item Price
NZ$41.44
Or just NZ$37.30 with a
Bibliophiles Club Membership
NZ$4.97 Shipping to USA
Standard delivery: 2 to 8 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Very good condition. Only marking is penciled original price in upper right corner of front flyleaf.

Reviews

(Log in or Create an Account first!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Bookseller
Rachel Maines Inc. US (US)
Bookseller's Inventory #
OCLC523874
Title
A Transfinite Type Theory with Type Variables
Author
Andrews, Peter B
Book Condition
Used
Quantity Available
1
Edition
First
Binding
Hardcover
Publisher
North-Holland
Place of Publication
Amsterdam
Date Published
1965
Pages
143
Weight
0.00 lbs
Keywords
Type Theory, Mathematical Logic

Terms of Sale

Rachel Maines Inc.

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.

About the Seller

Rachel Maines Inc.

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2023
Ithaca, New York

About Rachel Maines Inc.

Individual scholar with large book collection

Frequently asked questions

tracking-