Proofs and Types

Name: Proofs and Types
ISBN: 9780521371810

Douban

ISBN: 9780521371810

Autor/in: Jean-Yves Girard / Yves Lafont / Paul Taylor

Verlag: Cambridge University Press

Veröffentlichungsdatum: 1989 -4

Serie: Cambridge Tracts in Theoretical Computer Science

Preis: USD 49.95

Anzahl der Seiten: 192

1 Bewertungen

Nicht genug Bewertungen

Leihen oder Kaufen

WorldCat

Open Library

OAPEN

Bookshop.org

Amazon DE JP UK

Kobo JP TW US

多抓鱼孔夫子旧书

博客来 Readmoo 讀墨

Jean-Yves Girard / Yves Lafont …

bisher nichts.