A short introduction to intuitionistic logic
Mint͡s, G. E.
A short introduction to intuitionistic logic [electronic resource] / Grigori Mints. - New York : Kluwer Academic / Plenum Publishers, 2000. - ix, 131 p. - University series in mathematics . - University series in mathematics (Plenum Press) .
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Intuitionistic mathematics.
Electronic books.
QA9.47 / .M56 2000eb
511/.22
A short introduction to intuitionistic logic [electronic resource] / Grigori Mints. - New York : Kluwer Academic / Plenum Publishers, 2000. - ix, 131 p. - University series in mathematics . - University series in mathematics (Plenum Press) .
Includes bibliographical references and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
Intuitionistic mathematics.
Electronic books.
QA9.47 / .M56 2000eb
511/.22