Proof methods for modal and intuitionistic logics
Edición de la obra Proof methods for modal and intuitionistic logics
| Autor | Melvin Fitting |
|---|---|
| Editorial | D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Boston, Springer |
| Fecha de publicación | 1983 |
| Lugar | Dordrecht, Holland, Boston, U.S.A, Hingham, MA |
| Idioma | inglés |
| Páginas | 555 |
| ISBN-10 | 9027715734 |
| OCLC | 9325196 |
| LCCN | 83004409 |
| Serie | Synthese library ; · v. 169 |
| Número de Cutter |