Login / Signup

Mathematical Proof Theory in the Light of Ordinal Analysis.

Reinhard Kahle
Published in: Synth. (2002)
Keyphrases
  • proof theory
  • natural language
  • multi dimensional
  • default reasoning
  • artificial intelligence
  • knowledge base