Displaying modal logic
| Autor: | Wansing, Heinrich. |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 1998 |
| Předmět: | |
| Popis: | Univ., Habil.-Schr. u.d.T.: Wansing, Heinrich: Proof-theoretic aspects of intensional and non-classical logics--Leipzig, 1997. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|