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