Login / Signup

Pure proof theory, aims, methods and results.

Wolfram Pohlers
Published in: Bull. Symb. Log. (1996)
Keyphrases
  • artificial intelligence
  • temporal reasoning
  • proof theory