Tagged “logic”

1. 2012 Oct 31 Points on a plane
2. 2012 Oct 13 Structural induction... with cake
3. 2012 Sep 26 Lambda λ