Axioms for intuitionistic mathematics incompatible with classical logic
Edición de la obra Axioms for intuitionistic mathematics incompatible with classical logic
| Autor | A. S. Troelstra |
|---|---|
| Editorial | Mathematisch Instituut |
| Fecha de publicación | 1975 |
| Lugar | Amsterdam |
| Idioma | inglés |
| Páginas | 28 |
| LCCN | 77365145 |
| Serie | Report - Dept. of Mathematics, University of Amsterdam ; 75-13 |
| Número de Cutter | T843a |