Del 14 - Publications of the Newton Institute
Semantics and Logics of Computation
Inbunden, Engelska, 1997
AvAndrew M. Pitts,P. Dybjer,Andrew M. (University of Cambridge) Pitts,Gothenberg) Dybjer, P. (Chalmers University of Technology,A. Pitts
2 129 kr
Beställningsvara. Skickas inom 10-15 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
- SerieDel 14 i Publications of the Newton Institute
- Antal sidor376
- FörlagCambridge University Press
- ISBN9780521580571