A short introduction to intuitionistic logic /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Kluwer Academic / Plenum Publishers,
[2000]
|
| Series: | University series in mathematics (Plenum Press)
|
| Subjects: |
Remote Storage
| Call Number: |
QA9.47 .M56 2000 |
|
|---|---|---|
| Call Number | Status | Get It |
| QA9.47 .M56 2000 | Available | |