Basic Proof Theory, A.S. Troelstra and H. Schwichtenberg.

Harold Schellinx

Published in: J. Log. Lang. Inf. (1998)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
learning algorithm
belief revision
decision making
constraint satisfaction