Format:
XVIII, 387 S. : graph. Darst.
Edition:
Reprinted
ISBN:
0-521-65200-6
,
0-521-65602-8
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Mathematische Logik
;
Informatik
;
Prädikatenlogik
;
Modallogik
;
Programmierung
Author information:
Ryan, Mark, 1962-