> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: A logical introduction to proof Beteiligte: Cunningham, Daniel W. [VerfasserIn] Erschienen: New York; Heidelberg; Dordrecht; London: Springer, [2012] Enthält: Umfang: XV, 356 Seiten; Illustrationen; 24 cm Sprache: Englisch ISBN: 1461436303; 9781461436300; 9781489990990 Entstehung: RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Schlagwörter: Beweistheorie Beschreibung: Propositional logic -- Predicate logic -- Proof strategies and diagrams -- Mathematical induction -- Set theory -- Functions -- Relations -- Core concepts in abstract algebra -- Core concepts in real analysis Anmerkungen: Literaturverzeichnis: Seite 347 Hier auch später erschienene, unveränderte Nachdrucke