A short introduction to intuitionistic logic [electronic resource] / Grigori Mints.
By: Mints, G. E
.
Contributor(s): ebrary, Inc
.
Series: University series in mathematics (Plenum Press): Publisher: New York : Kluwer Academic / Plenum Publishers, 2000Description: ix, 131 p. ; 24 cm.Subject(s): Intuitionistic mathematics![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
511/.22 (Browse shelf) | Available |
Includes bibliographical references and index.
TSLHHL
Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.