1
by Eirund, Helmut, Müller, Bernd, Schreiber, Gerlinde
Published 2000
Vieweg+Teubner Verlag
Table of Contents: ...1 Einleitung -- 2 Grundlagen aus Mathematik und Logik -- 2.1 Schreibweisen der Logik -- 2.2...

2
by Eirund, Helmut
Published 1993
Vieweg+Teubner Verlag
Table of Contents: ... -- 2.1 Klassendefinitionen und Objekte — einige Grundbegriffe -- 2.2 Erzeugung und Verwaltung von...