Description: A Transfinite Type Theory with Type Variables by Peter Andrews Part of the North-Holland Studies in Logic and the Foundations of Mathematics Series 1965 Hardcover Ex-library The book shows light use with some ex-library markings and corner bumping, as shown in the photos. Besides some library markings/stampings, the text pages are clean, and the binding is good. Please examine the pictures carefully as they give the best description of the condition. Also, please ask any questions you have regarding this listing. I ship promptly and securely via USPS Media Mail with tracking number.
Price: 55 USD
Location: Huntsville, Alabama
End Time: 2024-11-25T04:46:24.000Z
Shipping Cost: 4.63 USD
Product Images
Item Specifics
All returns accepted: ReturnsNotAccepted
Subject Area: infinity / recursive functions / logic / Q system
Publication Name: Studies in Logic and The Foundations of Math A Transfinite Type
Publisher: North Holland Publishing Company
Subject: mathematics / logic
Publication Year: 1965
Series: Studies in Logic and the Foundations of Mathematics
Type: Textbook
Format: Paperback
Language: English
Author: Peter Andrews
Educational Level: Adult & Further Education
Features: Ex-Library
Country/Region of Manufacture: Netherlands
