Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures (Hardcover)

Dov M. Gabbay

ISBN 10: 0198537816 / ISBN 13: 9780198537816

Editore: Oxford University Press, Oxford, 2001

Riguardo questo articolo

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

Dati bibliografici

Titolo: Handbook of Logic in Computer Science: ...

Casa editrice: Oxford University Press, Oxford

Data di pubblicazione: 2001

Legatura: Hardcover

Condizione: new

Descrizione articolo

Riassunto:

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.

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