Semantics and Logics of Computation (Hardcover)

Pitts, Andrew M.

ISBN 10: 0521580579 / ISBN 13: 9780521580571

Editore: Cambridge University Press, Cambridge, 1997

Riguardo questo articolo

Hardcover. The aim of this volume is to present modern developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set have been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before. This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Codice articolo 9780521580571

Dati bibliografici

• Titolo: Semantics and Logics of Computation (Hardcover)
• Editore: Cambridge University Press, Cambridge
• Data di pubblicazione: 1997
• Lingua: Inglese
• ISBN 10: 0521580579
• ISBN 13: 9780521580571
• Rilegatura: Hardcover
• Condizione: new

Descrizione articolo

Riassunto

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

Informazioni sull?autore

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