Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Product ID: 0521465184 Condition: New

$ 357
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA Mastercard ozow

Product Description

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

  • Used Book in Good Condition

Technical Specifications

Country
USA
Brand
Cambridge University Press
Manufacturer
Cambridge University Press
Binding
Hardcover
PartNumber
10 b/w illus. 1 table
Model
10 b/w illus. 1 table
Height
9.5
Length
6.25
Weight
0.992080179
Width
0.5
NumberOfItems
1
Author
Hindley, J. Roger