Hopp til hovedinnhold
Omslagsbilde

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

Gabbay, Dov M. Maibaum, T. S. E. Abramsky, S.

Handbook of Logic in Computer Science

|

Innbundet

I salg

Leveringstid: 7-30 dager

Handlinger

Beskrivelse

Omtale

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.

Detaljer