Basic proof theory /
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Cambridge :
Cambridge University Press,
c2000.
|
| Vydání: | 2nd ed. |
| Edice: | Cambridge Tracts in Theoretical Computer Science ;
43 |
| Témata: |
| Fyzický popis: | xii, 417 s. |
|---|---|
| ISBN: | 0-521-77911-1 |