|
|
|
|
| LEADER |
01273nam a2200445ui 4500 |
| 003 |
HR-ZaFF |
| 008 |
050308s2003 ||| |||||||||| ||hrv|d |
| 999 |
|
|
|c 3359
|d 3359
|
| 020 |
|
|
|a 9532221387
|
| 035 |
|
|
|a HR-ZaFF iznL3285
|
| 035 |
|
|
|a HR-ZaFF filL1546
|
| 040 |
|
|
|a HR-ZaFF
|b hrv
|c HR-ZaFF
|e ppiak
|
| 041 |
1 |
|
|a hrv
|
| 080 |
|
|
|a 510.6
|
| 100 |
1 |
|
|a Davis, Martin
|
| 245 |
1 |
0 |
|a Na logički pogon :
|b podrijetlo ideje računala /
|c Martin Davis ; [prijevod Ljerka Vukić i Ognjen Strpić].
|
| 260 |
|
|
|a Zagreb :
|b Naklada Jesenski i Turk,
|c 2003.
|
| 300 |
|
|
|a 294 str. ;
|c 21 cm
|
| 440 |
|
0 |
|a Biblioteka 42
|
| 500 |
|
|
|a Prijevod djela: Engines of logic
|
| 504 |
|
|
|a Str. 271-281: Bibliografija
|
| 504 |
|
|
|a Kazalo
|
| 653 |
|
|
|a matematička logika
|
| 653 |
|
|
|a Leibniz
|
| 653 |
|
|
|a Boole
|
| 653 |
|
|
|a Frege
|
| 653 |
|
|
|a Cantor
|
| 653 |
|
|
|a Hilbert
|
| 653 |
|
|
|a Gödel
|
| 653 |
|
|
|a Turing
|
| 653 |
|
|
|a Turingovi strojevi
|
| 653 |
|
|
|a Neumann
|
| 653 |
|
|
|a Eckert
|
| 653 |
|
|
|a Kompjutori - logičke osnove
|
| 653 |
|
|
|a Matematička logika - povijest
|
| 700 |
0 |
|
|a Vukić, Ljerka
|
| 700 |
0 |
|
|a Strpić, Ognjen
|
| 942 |
|
|
|b LIB
|c KNJ
|d IZN | 510.6 | DAV | n
|h BB
|i DAV n
|6 BB_DAV_N
|
| 991 |
|
|
|a izn75/2005
|a fil15875
|
| 992 |
|
|
|a IZ
|b IV
|c 20050308
|
