Grigori Mints Books
A Short Introduction to Intuitionistic Logic University Series in Mathematics University Series in Mathematics
"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 pr...
Read More