A short introduction to intuitionistic logic [electronic resource] /
Grigori Mints.
- New York : Kluwer Academic / Plenum Publishers, 2000.
- ix, 131 p. ; 24 cm.
- University series in mathematics .
- University series in mathematics (Plenum Press) .
Includes bibliographical references and index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.