Proof theory
cosmos
15th March 2017 at 2:08pm
Mathematical logic
Proof
,
Logic
Proof techniques
Proof by contradiction
Proof by induction