|
|
|
|
| LEADER |
00786na a2200205 4500 |
| 005 |
20190417163842.0 |
| 008 |
130909s2013 ci ||m||||||| ||hrv|d |
| 999 |
|
|
|c 291613
|d 291611
|
| 040 |
|
|
|a HR-ZaFF
|b hrv
|c HR-ZaFF
|e ppiak
|
| 100 |
1 |
|
|a Skansi, Sandro
|
| 245 |
1 |
0 |
|a Eliminacija reza i strukturna teorija dokaza logike drugog reda :
|b doktorski rad /
|c Sandro Skansi ; mentor Davor Lauc.
|
| 246 |
3 |
5 |
|a Cut elimination and structural proof theory for second-order logic :
|b doctoral thesis
|
| 260 |
|
|
|a Zagreb,
|c 2013.
|
| 300 |
|
|
|a 163 listova ;
|c 30 cm
|
| 502 |
|
|
|c Filozofski fakultet u Zagrebu, Odsjek za filozofiju
|
| 504 |
|
|
|a Bibliografija: listovi 154-161.
|
| 653 |
|
6 |
|a doktorski rad
|
| 700 |
1 |
|
|4 ths
|9 721
|a Lauc, Davor
|
| 710 |
2 |
|
|4 dgg
|a Filozofski fakultet (Zagreb)
|
| 942 |
|
|
|c DIS
|t 2.08
|u 2
|