Semantics and Logics of Computation - Couverture rigide

 
9780521580571: Semantics and Logics of Computation

Synopsis

Summer school lecture courses on modern logic and computation are presented here.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9780521118460: Semantics and Logics of Computation

Edition présentée

ISBN 10 :  0521118468 ISBN 13 :  9780521118460
Editeur : Cambridge University Press, 2009
Couverture souple