Eliminacija reza i strukturna teorija dokaza logike drugog reda
| Permalink: | http://skupni.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: |