A short introduction to intuitionistic logic [electronic resource] /

Mint͡s︡, G. E.

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.






Intuitionistic mathematics.


Electronic books.

QA9.47 / .M56 2000eb

511/.22

© Strathmore University Library
Madaraka Estate, Ole Sangale Road | P. O. Box 59857 - 00200 City Square, Nairobi, Kenya
(+254) (0)703 034 000/200/300 | (+254) (0)20-607498