Del 14 - Publications of the Newton Institute
Semantics and Logics of Computation
Inbunden, Engelska, 1997
Av Andrew M. Pitts, P. Dybjer, Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, A. Pitts
2 179 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum1997-01-30
- Mått157 x 235 x 25 mm
- Vikt650 g
- FormatInbunden
- SpråkEngelska
- SeriePublications of the Newton Institute
- Antal sidor376
- FörlagCambridge University Press
- ISBN9780521580571