Proof methods for modal and intuitionistic logics
Edición de la obra Proof methods for modal and intuitionistic logics
| Autor | Melvin Fitting |
|---|---|
| Editorial | Reidel |
| Fecha de publicación | 1983 |
| Lugar | Dordrecht, Lancaster |
| Idioma | inglés |
| Páginas | 555 |
| ISBN-10 | 9027715734 |
| Serie | Synthese library -- v.169 |
| Número de Cutter | F547p |