Media type: Book Title: Formalisieren und beweisen : Logik für Informatiker Contributor: Siefkes, Dirk [Author] imprint: Braunschweig; Wiesbaden: Vieweg, 1992 Issue: 2., verb. Aufl. Extent: XIII, 259 S.; graph. Darst Language: German ISBN: 3528147571 RVK notation: ST 120 : Grundlagen der Informatik SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Mathematische Logik > Beweis Mathematik > Informatik Origination: Footnote: Literaturverz. S. 245 - 253
Central Library – textbook collection (tbc) Shelf-mark: SK 130 S571(2) Item ID: 30082714 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 S571(2) Item ID: 10099040 Due date: 2024/07/12 Status: On loan, place hold > Reservation possible ‒ please log in
Departmental Library DrePunct – open access area Shelf-mark: SK 130 S571(2) Item ID: 31603633 Status: To be used in the library, interlibrary loan possible