|
|
|
|
LEADER |
00893nam a2200217uu 4500 |
008 |
s2004 ie |||||||||| ||eng|d |
020 |
|
|
|a 0444875085
|
035 |
|
|
|a HR-ZaFER 37854
|
040 |
|
|
|a HR-ZaFER
|b hrv
|c HR-ZaFER
|
041 |
|
|
|a eng
|
080 |
|
|
|a 681.3
|h PRECIZNI MEHANIZMI I INSTRUMENTI
|j OPREMA ZA OBRADU PODATAKA
|e 681
|9 1740
|
080 |
|
|
|a 007
|h PROLEGOMENA. OPĆE OSNOVE NAUKE I KULTURE
|j Djelatnost i organizacija. Informacije. Teorija komunikacija i upravljanja općenito (kibernetika). "Human engineering"
|e 00
|9 889
|
100 |
1 |
|
|9 26769
|a Barendregt, H.P.
|
245 |
|
|
|a The lambda calculus :
|b ITS SYNTAX AND SEMANTICS.
|n VOL.103.
|
250 |
|
|
|a 1. izd.
|
260 |
|
|
|b Elsevier Science Ireland Ltd.,
|c 2004.
|
300 |
|
|
|a xv, 621 str. ;
|c 23 cm.
|
490 |
|
|
|a Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company.
|
942 |
|
|
|b BKS
|c K
|
990 |
|
|
|a 33122
|
999 |
|
|
|c 33423
|d 33423
|