Annual Member
| Author | Mints, Grigori |
|---|---|
| Title | A Short Introduction to Intuitionistic Logic [electronic resource] / by Grigori Mints |
| Imprint | Boston, MA : Kluwer Academic Publishers, 2002 |
| Connect to | http://dx.doi.org/10.1007/b115304 |
| Descript | - |
