Description: From the estate of mathematician Robert Solovay. 1st edition, hardcover.
Price: 79.97 USD
Location: Eugene, Oregon
End Time: 2025-01-17T06:16:16.000Z
Shipping Cost: 5.86 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Book Title: Semantics of Type Theory: Correctness, Completeness and Independe
Publication Name: semantics of type theory
Item Length: 9.3in
Publisher: Birkhäuser Boston
Series: Progress in Theoretical Computer Science Ser.
Type: Textbook
Language: English
ISBN-13: 9781461267577
Item Height: 0.3in
Author: Thomas Streicher
Item Width: 6.1in
Item Weight: 17.1 Oz
Number of Pages: Xii, 299 Pages
