Eliminacija reza i strukturna teorija dokaza logike drugog reda
| Permalink: | http://skupnikatalog.nsk.hr/Record/ffzg.KOHA-OAI-FFZG:291613 |
|---|---|
| Glavni autor: | Skansi, Sandro (-) |
| Ostali autori: | Lauc, Davor (Thesis advisor) |
| Vrsta građe: | Drugo |
| Jezik: | hrv |
| Impresum: |
Zagreb,
2013.
|
| Predmet: |
Knjižnica FFZG - Zatvoreno spremište
| Signatura: |
DD 102403 |
|---|---|
| Primjerak 2013-6033 |
Dostupno |