A short introduction to intuitionistic logic
Edición de la obra A short introduction to intuitionistic logic
| Autor | Grigori Mints |
|---|---|
| Editorial | Kluwer Academic / Plenum Publishers |
| Fecha de publicación | 2000 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 131 |
| Formato | [elektronische middelen] / |
| ISBN-13 | 9780306469756 |
| ISBN-10 | 0306469758 |
| OCLC | 818973321 |
| Serie | University series in mathematics |