|
|
|
|
| LEADER |
00883naa a2200265 i 4500 |
| 001 |
NSK01001089315 |
| 003 |
HR-ZaNSK |
| 005 |
20210204105609.0 |
| 007 |
ta |
| 008 |
210204s2018 ci | |0|| ||eng |
| 035 |
|
|
|a (HR-ZaNSK)001089315
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 042 |
|
|
|a croatica
|
| 044 |
|
|
|a ci
|c hr
|
| 080 |
1 |
|
|a 16
|2 2011
|
| 080 |
1 |
|
|a 51
|2 2011
|
| 100 |
1 |
|
|a Maretić, Marcel
|4 aut
|
| 245 |
1 |
0 |
|a On multiple conclusion deductions in classical logic /
|c Marcel Maretić.
|
| 300 |
|
|
|b Ilustr.
|
| 504 |
|
|
|a Bibliografija: 20 jed.
|
| 653 |
|
0 |
|a Prirodna dedukcija
|a Klasična logika
|a Dedukcija
|a Zaključivanje
|a Matematička logika
|
| 773 |
0 |
|
|t Mathematical communications (Osijek)
|x 1331-0623
|g 23 (2018), 1 ; str. 79-95
|w nsk.(HR-ZaNSK)000174376
|
| 981 |
|
|
|b B07/18
|
| 998 |
|
|
|b rpeo2102
|
| 856 |
4 |
1 |
|u https://hrcak.srce.hr/192128
|y Elektronička verzija članka
|