User:Charles Matthews/Hewitt

From Wikipedia, the free encyclopedia

  • Logical necessity of inconsistency - prod 24 November, replaced
  • history of logic programming - prod 28 November
  • History of power domains - prod by Jitse