1
by Bauer, Friedrich L., Wirsing, Martin
Published 1991
Springer Berlin Heidelberg
...Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare...

2
by Bauer, Friedrich L.
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Schickard -- Damals: die kleinste Rechenmaschine -- Software Engineering — wie es begann -- Multiplikation...