A Survey of Proof Theory.

Published in: J. Symb. Log. (1968)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
knowledge representation
artificial intelligence
decision making
bayesian networks
theorem proving
default logic