Maths›03. Logic and FoundationsChapter 16. Intuitionistic LogicConstructive semantics, proof interpretation, differences from classical logic, Kripke models, and applications in computation.