How to prove it a structured approach

Introduction -- Sentential logic -- Quantificational logic -- Proofs -- Relations -- Functions -- Mathematical induction -- Number theory -- Infinite sets -- Appendix.

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Velleman, Daniel J. (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cambridge, New York, NY, Port Melbourne Cambridge University Press 2019
Ausgabe:Third edition
Schlagworte:
Online Zugang:zbMATH
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Introduction -- Sentential logic -- Quantificational logic -- Proofs -- Relations -- Functions -- Mathematical induction -- Number theory -- Infinite sets -- Appendix.
Beschreibung:Hier auch später erschienene, unveränderte Nachdrucke
Beschreibung:xii, 458 Seiten
Abbildungen
ISBN:9781108439534
978-1-108-43953-4
9781108424189
978-1-108-42418-9