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.
"synopsis" may belong to another edition of this title.
Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
"About this title" may belong to another edition of this title.
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condition: New. Semantics and Logics of Computation. Book. Seller Inventory # BBS-9780521118460
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9780521118460
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # 6666-IUK-9780521118460
Quantity: Over 20 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In English. Seller Inventory # ria9780521118460_new
Quantity: Over 20 available
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Summer school lecture courses on modern logic and computation are presented here. Editor(s): Pitts, Andrew M.; Dybjer, Peter. Series: Publications of the Newton Institute. Num Pages: 376 pages, black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 31. Weight in Grams: 572. . 2009. 1st Edition. paperback. . . . . Seller Inventory # V9780521118460
Quantity: Over 20 available
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521118460
Quantity: Over 20 available
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Summer school lecture courses on modern logic and computation are presented here. Editor(s): Pitts, Andrew M.; Dybjer, Peter. Series: Publications of the Newton Institute. Num Pages: 376 pages, black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 31. Weight in Grams: 572. . 2009. 1st Edition. paperback. . . . . Books ship from the US and Ireland. Seller Inventory # V9780521118460
Seller: Books Puddle, Woodside, NY, U.S.A.
Condition: New. pp. 376. Seller Inventory # 26535273
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 376 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam. Seller Inventory # 8361270
Quantity: 4 available
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 376. Seller Inventory # 18535267