|
|
|
|
| LEADER |
01148nam a2200313 i 4500 |
| 001 |
NSK01000870790 |
| 003 |
HR-ZaNSK |
| 005 |
20140516094105.0 |
| 007 |
ta |
| 008 |
140219s2013 ci m 000 0dhrv |
| 035 |
|
|
|a (HR-ZaNSK)000870790
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 041 |
0 |
|
|a hrv
|b eng
|
| 042 |
|
|
|a croatica
|
| 080 |
|
|
|a 16
|2 MRF 2011.
|
| 080 |
|
|
|a (043.3)
|2 MRF 2011.
|
| 100 |
1 |
|
|a Skansi, Sandro
|
| 245 |
1 |
0 |
|a Eliminacija reza i strukturna teorija dokaza logike drugog reda :
|b doktorski rad = Cut elimination and structural proof theory for second-order logic : doctoral thesis /
|c Sandro Skansi ; mentor, supervisor Davor Lauc.
|
| 246 |
3 |
1 |
|a Cut elimination and structural proof theory for second-order logic
|
| 260 |
|
|
|a Zagreb,
|c 2013.
|
| 300 |
|
|
|a 163 lista ;
|c 30 cm.
|
| 502 |
|
|
|a Doktorska disertacija--Sveučilište u Zagrebu, Filozofski fakultet, 2013.
|
| 504 |
|
|
|a Bibliografija: listovi 154-160.
|
| 504 |
|
|
|a Summary
|
| 650 |
|
7 |
|a Teorija dokaza
|v Disertacije
|2 nskps
|
| 700 |
1 |
|
|a Lauc, Davor
|4 ths
|
| 710 |
2 |
|
|a Filozofski fakultet (Zagreb)
|4 dgg
|
| 981 |
|
|
|p CRO
|r HRB2013
|
| 998 |
|
|
|m vško1402
|c rjko140516
|