• 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

Exemplare

(0)
  • Status: Ausleihbar