How to prove it a structured approach

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

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:	Logic, Symbolic and mathematical > Mathematics > Proof theory > Beweis > Mathematik
Online Zugang:	zbMATH
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!