Semantics and Logics of Computation (Publications of the Newton Institute, Band 14)

Pitts, Andrew M. and P. Dybjer

ISBN 10: 0521580579 / ISBN 13: 9780521580571

Published by Cambridge University Press 30.01.1997., 1997

About this Item

376 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 22,8 x 15,6 x 2,6 cm, Gebundene Ausgabe.

Seller Inventory # 383856

Bibliographic Details

• Title: Semantics and Logics of Computation (Publications of the Newton Institute, Band 14)
• Publisher: Cambridge University Press 30.01.1997.
• Publication Date: 1997
• Language: English
• ISBN 10: 0521580579
• ISBN 13: 9780521580571
• Binding: Hardcover
• Edition: Auflage: First Edition.
• Condition: Sehr gut

About this title

Synopsis

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.

About the Author

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