A Short Introduction to Intuitionistic Logic
Grigori Mint︠s︡ · Kluwer Academic Publishers eBooks · 2002
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presen