Twenty Five Years of Constructive Type Theory
Giovanni Sambin, Jan M. Smith
Barcode 9780198501275
Book
Sold out
Original price
£117.40
-
Original price
£117.40
Original price
£117.40
£117.40
-
£117.40
Current price
£117.40
Click here to join our rewards scheme and earn points on this purchase!
Availability:
Out of stock
Release Date: 15/10/1998
Genre: Science Nature & Math
Sub-Genre: Computing & Internet
Label: Clarendon Press
Series: Oxford Logic Guides
Language: English
Publisher: Oxford University Press