Semantics of Type Theory

Lieferzeit: Lieferbar innerhalb 14 Tagen

90,94 

Correctness, Completeness and Independence Results, Progress in Theoretical Computer Science

ISBN: 1461267579
ISBN 13: 9781461267577
Autor: Streicher, T
Verlag: Springer Basel AG
Umfang: xii, 299 S.
Erscheinungsdatum: 29.10.2012
Auflage: 1/1991
Produktform: Kartoniert
Einband: KT
Artikelnummer: 4535601 Kategorie:

Das könnte Ihnen auch gefallen …