Login / Signup
Intuitionistic Logic and Computability Theory.
Sebastiaan Terwijn
Published in:
WoLLIC (2010)
Keyphrases
</>
intuitionistic logic
proof theoretic
classical logic
natural deduction
artificial intelligence