Login / Signup

Intuitionistic Logic and Computability Theory.

Sebastiaan Terwijn
Published in: WoLLIC (2010)
Keyphrases
  • intuitionistic logic
  • proof theoretic
  • classical logic
  • natural deduction
  • artificial intelligence