Dynamic logic / David Harel; Dexter Kozen; Jerzy Tiuryn

By:

Contributor(s):

Material type: Text

TextPublication details: New Delhi; Printice hall pvt.ltd 2007Description: xv, 459 pages ; illustrations ; 23 cmISBN:

Subject(s):

DDC classification:

Summary: This book provides the first comprehensive introduction to Dynamic Logic.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode
Books	Prof. Ram Dayal Munda Central Library, IGNTU Amarkantak M.P.	Philosophy & Religion	004.015113 HAR (Browse shelf(Opens below))	Available		5580

This book provides the first comprehensive introduction to Dynamic Logic.

There are no comments on this title.

to post a comment.

Find us on the map