Media type: Book Title: Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion ; [Lehrbuch] Contributor: Witt, Kurt-Ulrich [Author] imprint: Wiesbaden: Springer Vieweg, 2013 Published in: Lehrbuch Extent: X, 222 S.; Ill; 240 mm x 168 mm Language: German ISBN: 9783658030780; 365803078X Publisher, production or purchase order numbers: Sonstige Nummer: 86274316 RVK notation: ST 120 : Grundlagen der Informatik SK 950 : Mathematische Methoden in den Naturwissenschaften SK 130 : Logik und Grundlagen, Metamathematik, Keywords: Mathematische Logik Beweis Mengenlehre Boolesche Algebra Graphentheorie Origination: Footnote: Literaturverz. S. 215
Central Library – textbook collection (tbc) Shelf-mark: SK 130 W827 Item ID: 33195550 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 W827 Item ID: 33195551 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 W827 Item ID: 33195552 Status: Loanable
Central Library – textbook collection (tbc) Shelf-mark: SK 130 W827 Item ID: 33195553 Status: Loanable
Central Library – open access area Shelf-mark: SK 130 W827 Item ID: 33195554 Status: To be used in the library, no dispatch by interlibrary loan; delivery of photocopies possible