Powered by
Share this page on
Article provided by Wikipedia






   To do      


"WikiProject Logic task list
  • This list should be actively updated: "Discuss

Notices and proposals[edit]

  1. "Talk:Gödel–Gentzen negative translation: propose merge "Gödel–Gentzen negative translation and "Glivenko's theorem (30 April 2009)
  2. Proposed merge of "Modus tollendo ponens into "Disjunctive syllogism, no discussion (11 March 2008)
  3. Rework of "Logic begun, see "Talk:Logic (date=June 2009)


  • Tag the talk page of all articles relevant to the project with either the {{"Philosophy}} or {{"Maths rating}} banner.

Monitor recent changes[edit]

These are the recent changes to pages linked from these pages

Other routines[edit]

) ) WikipediaAudio is not affiliated with Wikipedia or the WikiMedia Foundation.