Login / Signup
Kolmogorov's Logic of Problems and a Provability Interpretation of Intuitionistic Logic.
Sergei N. Artëmov
Published in:
TARK (1990)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
natural deduction
logic programming