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.