Login / Signup

Proof theory and ordinal analysis.

Wolfram Pohlers
Published in: Arch. Math. Log. (1991)
Keyphrases
  • proof theory
  • knowledge base
  • query answering
  • default reasoning