Proof Methods For Modal And Intuitionistic Logics
Edición de la obra Proof Methods For Modal And Intuitionistic Logics
| Autor | Melvin Fitting |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2010 |
| ISBN-13 | 9789048183814 |
| Número de Cutter | F547p |
Edición de la obra Proof Methods For Modal And Intuitionistic Logics
| Autor | Melvin Fitting |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2010 |
| ISBN-13 | 9789048183814 |
| Número de Cutter | F547p |