Format:
1 Online-Ressource.
ISBN:
978-3-658-03078-0
,
978-3-658-03079-7
Language:
German
Subjects:
Computer Science
,
Mathematics
Keywords:
Mathematische Logik
;
Beweis
;
Mengenlehre
;
Boolesche Algebra
;
Graphentheorie
;
Mathematische Logik
;
Mathematik
;
Informatik
;
Grundlage
DOI:
10.1007/978-3-658-03079-7
Author information:
Witt, Kurt-Ulrich 1953-