User:Charles Matthews/Hewitt

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

For an outside view (informed, not necessarily impartial) on Carl Hewitt's time on WP, see Scott Johnson's contributions on http://lambda-the-ultimate.org/node/2803.