Dynamic logic /

other_versions_link
Sonraí Bibleagrafaíochta
Príomhúdar: Harel, David
Údair Eile: Kozen, Dexter ., Tiuryn, Jerzy .
Formáid: Printed Book
Teanga:English
Foilsithe: New Delhi : Prentice Hall of India , 2002.
Ábhair:
Mathamatical logic

Míreanna Comhchosúla