Login / Signup

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