Format:
XIV, 427 S.
,
graph. Darst.
Edition:
2. ed.
ISBN:
052154310X
,
9780521543101
Note:
Hier auch später erschienene, unveränderte Nachdrucke
Language:
English
Subjects:
Computer Science
Keywords:
Prädikatenlogik
;
Modallogik
;
Programmierung
;
Mathematische Logik
;
Informatik
Author information:
Ryan, Mark 1962-
Bookmarklink