Semantics and Logics of Computation (Paperback)

Andrew M. Pitts

ISBN 10: 0521118468 / ISBN 13: 9780521118460

Verlag: Cambridge University Press, Cambridge, 2009

Beschreibung

Paperback. The aim of this volume is to present 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 has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before. This book presents 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. They have been edited to form a coherent introduction to these topics. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Bestandsnummer des Verkäufers 9780521118460

Bibliografische Details

• Titel: Semantics and Logics of Computation (Paperback)
• Verlag: Cambridge University Press, Cambridge
• Erscheinungsjahr: 2009
• Sprache: Englisch
• ISBN-10: 0521118468
• ISBN-13: 9780521118460
• Einband: Paperback
• Zustand: new

Über diesen Titel

Inhaltsangabe

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

Über die Autorin bzw. den Autor

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