Semantics of type theory : correctness, completeness and independence results /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Boston :
Birkhäuser Verlag,
1991.
|
| Edice: | Progress in theoretical computer science
|
| Témata: |
| Fyzický popis: | xii, 298 s. |
|---|---|
| ISBN: | 0-8176-3594-7 |