A short introduction to intuitionistic logic / Grigori Mints.
| Author/creator | Mint͡s, G. E. |
| Format | Book |
| Publication Info | New York : Kluwer Academic / Plenum Publishers, 2000. |
| Description | ix, 131 pages ; 24 cm. |
| Subjects |
| Series | University series in mathematics University series in mathematics (Plenum Press) ^A229183 |
| Bibliography note | Includes bibliographical references and index. |
| LCCN | 00035703 |
| ISBN | 0306463946 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA9.47 .M56 2000 | ✔ Available | Place Hold |