Semantics and Logics of Computation
Summer school lecture courses on modern logic and computation are presented here.
CHF 171.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V104:
Folgt in ca. 10 Arbeitstagen
Produktdetails
Weitere Autoren: Pitts, A. (Hrsg.) / Pitts, Andrew M. (Hrsg.)
- ISBN: 978-0-521-58057-1
- EAN: 9780521580571
- Produktnummer: 3029106
- Verlag: Cambridge University Press
- Sprache: Englisch
- Erscheinungsjahr: 2007
- Seitenangabe: 376 S.
- Masse: H23.5 cm x B15.7 cm x D2.6 cm 729 g
- Abbildungen: HC gerader Rücken kaschiert
- Gewicht: 729
Über den Autor
Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
4 weitere Werke von P. (Hrsg.) Dybjer:
Bewertungen
Anmelden