Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)

J. Roger Hindley / Cambridge University Press 1997
First edition, first printing, 186 pp., hardcover, faint wear to cover edges else text clean & binding tight. Volumes Included: 1

ISBN: 0521465184
Subject/Keywords: computer brv mathematics

Item #: 1321004

$59.17

Add To Cart