Basic proof theory
| Permalink: | http://skupni.nsk.hr/Record/ffzg.KOHA-OAI-FFZG:267623 |
|---|---|
| Glavni autori: | Troelstra, A.S (-), Schwichtenberg, H. (Author) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Cambridge :
Cambridge University Press,
cop. 2000.
|
| Izdanje: | 2. izd |
| Nakladnička cjelina: |
Cambridge tracts in theoretical computer science
43. |
| Predmet: |
Knjižnica FFZG - 1. kat, filozofija
| Signatura: |
BA04.2 TROE b |
|---|---|
| Primjerak fil18756 |
Dostupno |