1
Proof theory and constructive logic
III Logic
1
Pro
of
theory
and
constructiv
e
logic
Contents
1.1 Natural deduction
1.2 Curry–Howard correspondence
1.3 Possible world semantics
1.4 Negative interpretation
1.5 Constructive mathematics
Table of Contents
1.1 >