Dynamic logic /

other_versions_link
Xehetasun bibliografikoak
Egile nagusia: Harel, David
Beste egile batzuk: Kozen, Dexter ., Tiuryn, Jerzy .
Formatua: Printed Book
Hizkuntza:English
Argitaratua: New Delhi : Prentice Hall of India , 2002.
Gaiak:
Mathamatical logic

Antzeko izenburuak