Aussagenlogik: Deduktion und Algorithmen
Aussagenlogik: Deduktion und Algorithmen
Hans Kleine Büning
,
Theodor Lettmann
Details
OL Work ID
OL19829063W
Find this book
Open Library