Intuitionistic logic, model theory and forcing.
Edición de la obra Intuitionistic logic, model theory and forcing
| Autor | Melvin Fitting |
|---|---|
| Editorial | North-Holland Pub. Co. |
| Fecha de publicación | 1969 |
| Lugar | Amsterdam |
| Idioma | inglés |
| Páginas | 191 |
| ISBN-10 | 0720422566 |
| OCLC | 68563 |
| LCCN | 79102718 |
| Serie | Studies in logic and the foundations of mathematics |
| Número de Cutter | F547i |