Handbook of Logic in Computer Science - Handbook of Logic in Computer Science

Samson Abramsky, Dov M. Gabbay, Thomas S. E. Maibaum

Hardback (04 May 1995)

Save $46.34

RRP $533.21
$486.87

In Stock

Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Other formats & editions

New: Hardback (10 Dec 1992) ~~RRP $533.21~~ $486.87; Hardback (01 Mar 1993) ~~RRP $587.90~~ $528.23; Hardback (27 Apr 1995) ~~RRP $533.21~~ $483.70

Publisher's Synopsis

This handbook volume covers fundamental topics of semantic modelling 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.

Book information

ISBN:	9780198537809
Publisher:	Clarendon Press
Imprint:	Clarendon Press
Pub date:	04 May 1995
DEWEY:	004.015113
DEWEY edition:	20
Language:	English
Number of pages:	651
Weight:	1115g
Height:	241mm
Width:	161mm
Spine width:	40mm