|
|
|
|
| LEADER |
00785nam a2200205uu 4500 |
| 008 |
s1970 a |||||||||| ||eng|d |
| 035 |
|
|
|a HR-ZaFER 31613
|
| 040 |
|
|
|a HR-ZaFER
|b hrv
|c HR-ZaFER
|
| 041 |
|
|
|a eng
|
| 245 |
|
|
|a Computer programming and formal systems.
|
| 250 |
|
|
|a 1. izd.
|
| 260 |
|
|
|b North-Holland Publishing Company,
|c 1970.
|
| 300 |
|
|
|a vi, 161 str. :
|b tabele ;
|c 23 cm.
|
| 490 |
|
|
|a Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company.
|
| 650 |
|
7 |
|a 68
|j Computer science {for papers involving machine computations and programs in a specific mathematical area, see section -04 in that area}
|9 5578
|2 msc
|
| 700 |
|
|
|9 28890
|a Braffort, P.
|4 edt
|
| 700 |
|
|
|9 28891
|a Hirschberg, D.
|4 edt
|
| 942 |
|
|
|b BKS
|c K
|
| 990 |
|
|
|a 17746
|
| 999 |
|
|
|c 27247
|d 27247
|