? A Survey of Some Results in Proof Theory".

Jean H. Gallier

Published in: Ann. Pure Appl. Log. (1997)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
logic programming
fixed point
parallel processing