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