The top documents tagged [formal reasoning1854]

Uri Sharir Computability Seminar – Prof. Nachum Dershowitz Tel Aviv University December 11, 2013.

---

223 views

Penrose’s Mistake

---

75 views