challenge: Who is credited with the general definition of a propositional proof system?
  
  A. Bertrand Russell and Ludwig Wittgenstein
  B. David Hilbert and Kurt Gödel
  C. George Boole and Augustus De Morgan
  D. Stephen Cook and Robert A. Reckhow
  Answer: 