Articoli correlati a Volume 5. Algebraic and Logical Structures: Logic and...
Sinossi
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
L'autore
S Abramsky, Department of Computing, Imperial College of Science, Technology and Medicine, London Dov Gabbay, Department of Computer Science, King's College, London T S E Maibaum, Department of Computing, Imperial College of Science, Technology and Medicine, London
Contenuti
- 1: Martin Löf's Type Theory
- 2: Categorical Logic
- 3: A Uniform Method for Proving Lower Bounds on the Computational complexity of Logical Theories
- 4: Algebraic specification of abstract data types
- 5: Computable Functions and Semicomputable Sets on Many-sorted Algebras
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreOUP Oxford
- Data di pubblicazione2001
- ISBN 10 0198537816
- ISBN 13 9780198537816
- RilegaturaCopertina rigida
- LinguaInglese
- Numero edizione1
- Numero di pagine556
- RedattoreAbramsky S., Gabbay Dov M., Maibaum T. S. E.
Compra nuovo
Visualizza questo articolo
EUR 313,51
EUR 32,78 per la spedizione da Australia a Italia
Destinazione, tempi e costiRisultati della ricerca per Volume 5. Algebraic and Logical Structures: Logic and...
Immagini fornite dal venditore
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures (Hardcover)
Editore:
Oxford University Press, Oxford, 2001
ISBN 10: 0198537816
ISBN 13: 9780198537816
Nuovo
Rilegato
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 3 su 5 stelle
Hardcover. Condizione: new. Hardcover. This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas. The latest volume in this major reference work covers all major areas of application of logic and theoretical computer science Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Codice articolo 9780198537816
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures (Hardcover)
Editore:
Oxford University Press, Oxford, 2001
ISBN 10: 0198537816
ISBN 13: 9780198537816
Nuovo
Rilegato
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas. The latest volume in this major reference work covers all major areas of application of logic and theoretical computer science Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9780198537816
Quantità: 1 disponibili
Immagini fornite dal venditore
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures (Hardcover)
Editore:
Oxford University Press, Oxford, 2001
ISBN 10: 0198537816
ISBN 13: 9780198537816
Nuovo
Rilegato
Da: Grand Eagle Retail, Fairfield, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: new. Hardcover. This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas. The latest volume in this major reference work covers all major areas of application of logic and theoretical computer science Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780198537816
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
HRD. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9780198537816
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Logic in Computer Science 5
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780198537816_new
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9780198537816
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Editore:
Oxford University Press, 2001
ISBN 10: 0198537816
ISBN 13: 9780198537816
Antico o usato
Rilegato
Da: OM Books, Sevilla, SE, Spagna
Valutazione del venditore 5 su 5 stelle
Condizione: Usado - bueno. Codice articolo 9780198537816
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Computer Science: Logic and Algebraic Methods: Vol 5
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 556 pages. 9.50x5.75x1.25 inches. In Stock. Codice articolo x-0198537816
Quantità: 2 disponibili