Dynamic Logic

Dane publikacji
Typ publikacji	Książka
Rodzaj publikacji	Książka
Tytuł publikacji	Dynamic Logic
Adres internetowy
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania	Cambridge, MA
Nazwa wydawcy	The MIT Press
Rok wydania	2000
Tytuł serii	Foundations of Computing Series
Numer w serii
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2000