Login / Signup
Intuitionistic logic and implicit definability.
Larisa Maksimova
Published in:
Ann. Pure Appl. Log. (2000)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
fixed point
natural deduction
propositional logic
proof theoretic
general purpose
normal form