01008nam a2200277 i 4500001000300000100002600003245009900029246005700128250001200185260005500197300003300252490002400285500006500309504003400374650002400408655003000432700003400462830002400496015001800520020001500538040000800553041001300561080001700574008004100591856009800632bg1 aBEN-ARI, M.d(1948- )10aLogika matematyczna w informatyce /cMordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska.  iTyt. oryg.:aMathematical logic for computer science  aWyd. 2.  aWarszawa :bWydawnictwa Naukowo-Techniczne,c2006.  a343, [1] s. :bil. ;c25 cm.1 aKlasyka Informatyki  aTyt. oryg.: "Mathematical logic for computer science", 2001.  aBibliogr. s. 333-335. Indeks. 9aLogika matematyczna  aPodręczniki akademickie1 aMIŁKOWSKA, Mirosława.eTł.  aKlasyka Informatyki  aPB 17164/2006  a8320432219  cBPK1 apolheng  a510.6(075.8)      s        pl     f     |000 0 pol    uhttp://koha.tu.koszalin.pl/cgi-bin/koha/opac-detail.pl?biblionumber=52574yKatalog online BPK