Mathematical logic for computer science

Bibliographische Detailangaben

1. Verfasser:	Ben-Arî, Môtî 1948- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	London [u.a.] Springer 2003
Ausgabe:	2. ed. 3. print.
Schlagworte:	Logic, Symbolic and mathematical Informatik Logische Programmierung Logik Mathematische Logik Einführung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!