Handbook of logic in computer science. Volume 5, Logic and algebraic methods / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.

Contributor(s):

Material type: Text

TextSeries: Oxford science publicationsPublication details: Oxford : Clarendon Press ; New York : Oxford University Press, 2000.Description: 1 online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9780191546273
0191546275
1280375272
9781280375279

Other title:

Logic and algebraic methods

Subject(s): Genre/Form:

Additional physical formats: Print version:: Handbook of logic in computer science. Volume 5, Logic and algebraic methods.DDC classification:

004 22

LOC classification:

QA76 .H2785 2000eb

Online resources:

Click here to access online

Summary: 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.

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Collection	Call number	Materials specified	Status	Date due	Barcode
Electronic-Books	OPJGU Sonepat- Campus	E-Books EBSCO			Available

Includes bibliographical references and indexes.

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.

eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide

There are no comments on this title.

to post a comment.