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