AWARD-2002

Argonne Workshop on Automated Reasoning and Deduction

Link to AWARD-2002 website.

Related links

• Talk by Johan Belinfante, Defining Addition and Multiplication of Natural Numbers in NBG Set Theory: A Progress Report
  ( Mathematica Notebook doubling)

• Challenge problem: Do ACLOSURE and UCLOSURE commute?