How to prove it a structured approach
Introduction -- Sentential logic -- Quantificational logic -- Proofs -- Relations -- Functions -- Mathematical induction -- Number theory -- Infinite sets -- Appendix.
Gespeichert in:
1. Verfasser: | |
---|---|
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!
|
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 |