Proofs and Types

Name: Proofs and Types
ISBN: 9780521371810

Douban

ISBN: 9780521371810

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

Casa editrice: Cambridge University Press

data di pubblicazione: 1989 -4

Serie: Cambridge Tracts in Theoretical Computer Science

Prezzo: USD 49.95

Numero di pagine: 192

1 valutazioni

Non ci sono abbastanza valutazioni

Prendi in prestito oppure Acquista

WorldCat

Open Library

OAPEN

Bookshop.org

Amazon DE JP UK

Kobo JP TW US

多抓鱼孔夫子旧书

博客来 Readmoo 讀墨

Jean-Yves Girard / Yves Lafont …

finora nulla.

mostra di più