Formalisieren und Beweisen Logik für Informatiker

Weitere Versionen (3)
Gespeichert in:
1. Verfasser:
Siefkes, Dirk
Format:
Elektronisch E-Book
Sprache:
Deutsch
Veröffentlicht:
Wiesbaden Vieweg+Teubner Verlag Imprint: Vieweg+Teubner Verlag 1990
Ausgabe:
1st ed. 1990
Umfang:
1 Online-Ressource (XIII, 262 S.)
text file PDF
Schriftenreihe:
Lehrbuch Informatik
ISBN:
9783322856210
DOI:
10.1007/978-3-322-85621-0
Schlagworte:
Mathematical logic
Computer logic
Computer science
Bezugswerke:
Links: