Formalisieren und beweisen Logik für Informatiker

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Siefkes, Dirk (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Braunschweig Vieweg 1990
Schlagworte:	Logic, Symbolic and mathematical > Logik > Mathematische Logik > Informatik > Einführung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Hier auch später erschienene, unveränderte Nachdrucke. - Literaturverz. S. 245 - 252
Beschreibung:	XIII, 259 S. Ill., graph. Darst.
ISBN:	3528047577 3-528-04757-7 9783528047573 978-3-528-04757-3