Format:
XXII, 554 S
,
graph. Darst
,
23cm
Edition:
Repr. with corr.
ISBN:
0521802008
,
0521527147
Series Statement:
Cambridge tracts in theoretical computer science 53
Note:
Literaturverz. S. 524 - 543
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Modallogik
Author information:
Blackburn, Patrick 1959-