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