000 | 00883n a2200277#a 4500 | ||
---|---|---|---|
001 | 36708 | ||
003 | OCoLC | ||
005 | 20231124143957.0 | ||
008 | 160119s2015 xx f b 000 0 eng d | ||
020 | _a8680593575 | ||
020 | _a9788680593579 | ||
040 | _cP5AA | ||
082 |
_a511.3 _bG424l |
||
090 | _alf2 | ||
100 | 1 |
_aGhilezan, Silvia _4edt _97452 |
|
245 | 1 | 0 |
_aLogic in computer science. _nII/ _ceditor: Silvia Ghilezan. |
260 |
_aBelgrade: _b(Matematicki institut SANU), _c2015. |
||
300 |
_a223 p.: _bIll.; _c24 cm. |
||
490 | 1 |
_aZbornik radova. Nova serija; _v18(26) |
|
504 | _aNotes bibliogr. | ||
650 | 7 |
_aInformatique. _2ram _924561 |
|
650 | 7 |
_aLogique. _2ram _915175 |
|
697 |
_aLógica e Fundamentos 02- _xLógica Matemática e Funções Recursivas. _923728 |
||
830 | 0 |
_aZbornik radova - Matematicki institut (Beograd); _v18(26). _97453 |
|
942 |
_2impa _cBK |
||
999 |
_c35534 _d35534 |