Formalisieren und beweisen Logik für Informatiker

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Siefkes, Dirk (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Braunschweig, Wiesbaden Vieweg 1992
Ausgabe:	2., verb. Aufl.
Schlagworte:	Logic, symbolic and mathematical > Predicate calculus > Propositional calculus > Mathematische Logik > Beweis > Mathematik > Informatik
Online Zugang:	Inhaltsverzeichnis Cover
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!