Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
A short introduction to intuitionistic logic | G. E. Mint︠s︡ | "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 pres… | OL12655210W |