Natural deduction, hybrid systems and modal logics /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Dordrecht :
Springer,
[2010]
|
| Edice: | Trends in Logic. Studia logica library ;
volume 30 |
| Témata: |
| Fyzický popis: | xxiii, 491 stran |
|---|---|
| ISBN: | 978-90-481-8784-3 |