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 1992
Ausgabe:
2nd ed. 1992
Umfang:
1 Online-Ressource (259 S. 8 Abb)
text file PDF
Schriftenreihe:
Lehrbuch Informatik
ISBN:
9783322917690
DOI:
10.1007/978-3-322-91769-0
Schlagworte:
Mathematical logic
Logic design
Computer science
Bezugswerke:
Links: