| 000 | 01115nam a2200313 i 4500 | ||
|---|---|---|---|
| 001 | bg | ||
| 100 | 1 |
_aBEN-ARI, M. _d(1948- ) |
|
| 245 | 1 | 0 |
_aLogika matematyczna w informatyce / _cMordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska. |
| 246 |
_iTyt. oryg.: _aMathematical logic for computer science |
||
| 250 | _aWyd. 2. | ||
| 260 |
_aWarszawa : _bWydawnictwa Naukowo-Techniczne, _c2006. |
||
| 300 |
_a343, [1] s. : _bil. ; _c25 cm. |
||
| 490 | 1 | _aKlasyka Informatyki | |
| 500 | _aTyt. oryg.: "Mathematical logic for computer science", 2001. | ||
| 504 | _aBibliogr. s. 333-335. Indeks. | ||
| 650 | 9 | _aLogika matematyczna | |
| 655 | _aPodręczniki akademickie | ||
| 700 | 1 |
_aMIŁKOWSKA, Mirosława. _eTł. |
|
| 830 | _aKlasyka Informatyki | ||
| 015 | _aPB 17164/2006 | ||
| 020 | _a8320432219 | ||
| 040 | _cBPK | ||
| 041 | 1 |
_apol _heng |
|
| 080 | _a510.6(075.8) | ||
| 920 | _a83-204-3221-9 | ||
| 942 | _cKS | ||
| 008 | s pl f |000 0 pol | ||
| 999 |
_c52574 _d52574 |
||
| 856 |
_uhttp://koha.tu.koszalin.pl/cgi-bin/koha/opac-detail.pl?biblionumber=52574 _yKatalog online BPK |
||