Unification types in logic /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Katowice :
Wydawnictvo Uniwersytetu Śląskiego,
2007.
|
| Vydání: | Wyd. 1. |
| Témata: |
| Fyzický popis: | 192 s. |
|---|---|
| Bibliografie: | Obsahuje bibliografii (s. 180-186) a rejstřík. |
| ISBN: | 978-83-226-1717-5 |