Hopp til hovedinnhold

Oppdatert 30.1. Klikk her for info om bokleveranser, faktura og nettbutikk

Omslagsbilde

Handbook of Logic in Computer Science: Volume 3. Semantic Structures

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

Handbook of Logic in Computer Science

|

Innbundet

Produseres på bestilling

Leveringstid: 2-4 uker

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 coordination 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