Login / Signup

Proof theory and computational analysis.

Ulrich Kohlenbach
Published in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
  • proof theory
  • natural language