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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Paperback or Softback. Etat : New. Semantics and Logics of Computation. Book. N° de réf. du vendeur BBS-9780521118460
Quantité disponible : 5 disponible(s)
Vendeur : California Books, Miami, FL, Etats-Unis
Etat : New. N° de réf. du vendeur I-9780521118460
Quantité disponible : Plus de 20 disponibles
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Paperback. Etat : 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. N° de réf. du vendeur 6666-IUK-9780521118460
Quantité disponible : Plus de 20 disponibles
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Etat : 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. . . . . N° de réf. du vendeur V9780521118460
Quantité disponible : Plus de 20 disponibles
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. In English. N° de réf. du vendeur ria9780521118460_new
Quantité disponible : Plus de 20 disponibles
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Etat : 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. N° de réf. du vendeur V9780521118460
Quantité disponible : Plus de 20 disponibles
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Etat : New. pp. 376. N° de réf. du vendeur 26535273
Quantité disponible : 4 disponible(s)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : 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. N° de réf. du vendeur 8361270
Quantité disponible : 4 disponible(s)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Etat : New. PRINT ON DEMAND pp. 376. N° de réf. du vendeur 18535267
Quantité disponible : 4 disponible(s)
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Paperback. Etat : new. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9780521118460
Quantité disponible : 1 disponible(s)