Format:
XVII, 387 S.
,
graph. Darst.
Edition:
1. publ.
ISBN:
0521652006
,
0521656028
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Mathematische Logik
;
Informatik
;
Prädikatenlogik
;
Modallogik
;
Programmierung
URL:
Publisher description
Author information:
Ryan, Mark 1955-
Bookmarklink