Proof Methods for Modal and Intuitionistic Logics
Edición de la obra Proof Methods For Modal And Intuitionistic Logics
| Autor | Melvin Fitting |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2013 |
| Idioma | inglés |
| ISBN-13 | 9789401727945 |
| Número de Cutter | F547p |