| Mehmet Ali Akinlar | Topic 4 (hyperreals) | 14-OCT-2004 (done) | ||
|---|---|---|---|---|
| Ramez Mousa | Topic 6 (ordinals) | 14-OCT-2004 (done) | ||
| Richard Yu | Topic 2 (semantic tableau proof system for propositional logic) | 14-OCT-2004 (done) | ||
| Tim Paterson | Topic 3 (Gentzen proof system for propositional logic) | 14-OCT-2004 (done) | ||
| Mahnaz Ahmadi | Topic 9 (boolean algebras) | 14-OCT-2004 (done) | ||
| Murat Dilmulati | Topic 5 (surreal numbers) | 14-OCT-2004 (done) | ||
| Yazhi Wang | Topic 8 (Schröder-Bernstein Theorem) | 19-OCT-2004 (done) | ||
| Sabina Horton | Topic 7 (set-theoretic paradox) | 19-OCT-2004 (done) | ||
| Xiang Ling | Topic 1 (natural deduction proof system for propositional logic) | 19-OCT-2004 (done) | ||
| Liuxing Kan | Topic 11 (many-sorted first-order logic) | 19-OCT-2004 (done) | ||
| Khair Eddin Sabri | Topic 13 (semantic tableau proof system for first-order logic) | 04-NOV-2004 (done) | ||
| Ning Zhou | Topic 10 (proof of "not not A implies A") | 04-NOV-2004 (done) | ||
| Huan Chun Gao | Topic 14 (Gentzen proof system for first-order logic) | 04-NOV-2004 (done) | ||
| Wei Lei | Topic 12 (natural deduction proof system for first-order logic) | 04-NOV-2004 (done) | ||
| Jie Wu | Topic 15 (decidability of monadic first-order logic) | 04-NOV-2004 (done) | ||
| Fang Cao | Topic 16 (isomorphic models of first-order logic) | 09-NOV-2004 (done) | ||
| Olivier Dragon | Topic 21 (Curry's combinatory logic) | 09-NOV-2004 (done) | ||
| Imen Bourguiba | Topic 20 (Church's lambda calculus) | 09-NOV-2004 (done) | ||
| John Xu | Topic 18 (logic programming) | 09-NOV-2004 (done) | ||
| Mike Kucera | Topic 17 (resolution proof system) | 09-NOV-2004 (done) | ||
| Upasana Pujari | Topic 22 (Ackermann's function) | 09-NOV-2004 (done) | ||
| Reza Heydarian Firouzabadi | Topic 30 (Dijkstra's shortest-path algorithm) | 30-NOV-2004 (done) | ||
| Don Jang | Topic 27 (Knaster-Tarski fixed point theorem) | 30-NOV-2004 (done) | ||
| Sajib Barua | Topic 24 (group and ring homomorphisms) | 30-NOV-2004 (done) | ||
| Hossein Safyallah | Topic 29 (category theory) | 30-NOV-2004 (done) | ||
| Nima Dezhkam | Topic 25 (factor group) | 30-NOV-2004 (done) | ||
| Reza Sherafat | Topic 19 (Knuth-Bendix completion procedure) | 30-NOV-2004 (done) | ||
| Mark Pavlidis | Topic 26 (modules in mathematics) | 02-DEC-2004 (done) |