Obični i formalizirani jezik u logici
Permalink: | http://skupni.nsk.hr/Record/nsk.NSK01000290812/Details |
---|---|
Matična publikacija: |
Logika (Zagreb) 1 (2000), 1 ; str. 3-9 |
Glavni autor: | Kovač, Srećko (-) |
Vrsta građe: | Članak |
Jezik: | hrv |
Predmet: |
LEADER | 00860caa a2200265 ir4500 | ||
---|---|---|---|
001 | NSK01000290812 | ||
003 | HR-ZaNSK | ||
005 | 20171025144454.0 | ||
008 | 010802s2000 ci ||| ||hrv | ||
015 | |a HP00-3590 |2 HR | ||
035 | |9 (HR-ZaNSK)291121 | ||
035 | |9 (HR-ZaNSK)410802055 | ||
035 | |a (HR-ZaNSK)000290812 | ||
040 | |a HR-ZaNSK |b hrv |c HR-ZaNSK |e ppiak | ||
041 | 0 | |a hrv | |
080 | 1 | |a 164 |2 MRF 2011. | |
100 | 1 | |a Kovač, Srećko | |
245 | 1 | 0 | |a Obični i formalizirani jezik u logici / |c Srećko Kovač. |
300 | |b Ilustr. | ||
504 | |a Bibliografske bilješke uz tekst | ||
650 | 7 | |a Simbolička i matematička logika |2 nskps | |
773 | 0 | |t Logika (Zagreb) |x 1332-2974 |g 1 (2000), 1 ; str. 3-9 |w nsk.(HR-ZaNSK)000252416 | |
981 | |p CRO |z B6-7/00 | ||
998 | |a rado0108 |a tomi0108 |c agno0201 |c rjko0207 |c mzop170915 | ||
886 | 0 | |2 unimarc |b 00580naa2 2200193 450 |