The Higher Infinite in Proof Theory.

Michael Rathjen

Published in: Logic Colloquium (1995)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
belief revision
partial order