Proof methods for modal and intuitionistic logics
- Författare
- Melvin Fitting
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Reidel | cop. 1983 | Nederländerna, Dordrecht, Holland | 555 sidor. | 90-277-1573-4 |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Reidel | cop. 1983 | Nederländerna, Dordrecht, Holland | 555 sidor. | 90-277-1573-4 |