Eliminacija reza i strukturna teorija dokaza logike drugog reda

Permalink: http://skupnikatalog.nsk.hr/Record/ffzg.KOHA-OAI-FFZG:291613/Similar
Glavni autor: Skansi, Sandro (-)
Ostali autori: Lauc, Davor (Thesis advisor)
Vrsta građe: Drugo
Jezik: hrv
Impresum: Zagreb, 2013.
Predmet:

APA stil citiranja

Skansi, S., & Lauc, D. (2013). Eliminacija reza i strukturna teorija dokaza logike drugog reda: Eliminacija reza i strukturna teorija dokaza logike drugog reda : doktorski rad. Zagreb.

Chicago stil citiranja

Skansi, Sandro, and Davor Lauc. Eliminacija reza i strukturna teorija dokaza logike drugog reda: Eliminacija reza i strukturna teorija dokaza logike drugog reda : doktorski rad. Zagreb, 2013.

MLA stil citiranja

Skansi, Sandro, and Davor Lauc. Eliminacija reza i strukturna teorija dokaza logike drugog reda: Eliminacija reza i strukturna teorija dokaza logike drugog reda : doktorski rad. Zagreb, 2013.