Proofs and Types

Name: Proofs and Types
ISBN: 9780521371810

Douban

ISBN: 9780521371810

author: Jean-Yves Girard / Yves Lafont / Paul Taylor

publishing house: Cambridge University Press

publication date: 1989 -4

series: Cambridge Tracts in Theoretical Computer Science

price: USD 49.95

number of pages: 192

1 ratings

No enough ratings

Borrow or Buy

WorldCat

Open Library

OAPEN

Bookshop.org

Amazon DE JP UK

Kobo JP TW US

多抓鱼孔夫子旧书

博客来 Readmoo 讀墨

Jean-Yves Girard / Yves Lafont …

nothing so far.