Login / Signup

Forcing in proof theory.

Jeremy Avigad
Published in: Bull. Symb. Log. (2004)
Keyphrases
  • proof theory
  • default reasoning
  • proof theoretic
  • automated reasoning
  • reasoning problems
  • expert systems