003 -Nazwa inst., której nr kontr. jest w polu 001 [,]

@ Nazwa instytucji, której n kontrolny jest w polu 001

NUKAT

005 -DATA I CZAS OSTATNIEJ MODYFIKACJI [,]

@ pole kontrolne

20230120014900.0

020 -Międzynarod. znormalizowany nr książki - ISBN [ , ]

a Numer ISBN

8320432219

040 -Instytucja sporządzająca opis [ , ]

a Instytucja, która sporządziła opis (NP)

Ł 30/BSt

c Instytucja, która sporządziła rekord (NP)

Ł 30/BSt

d Instytucja, która zmodyfikowała rekord (P)

Ł 30/MS

d Instytucja, która zmodyfikowała rekord (P)

KR U/42AKs

d Instytucja, która zmodyfikowała rekord (P)

BSTOK U/LU

041 -Język dokumentu [1, ]

a Język tekstu (P)

polski

h Język tekstu oryginalnego i/lub pośredniego (P)

angielski

942 -Rodzaj dokumentu [ , ]

c Rodzaj dokumentu

Książka

100 -Hasło główne - nazwa osobowa [1, ]

a Nazwa osobowa (NP)

Ben-Ari, Mordechai

d Daty biograficzne (NP)

(1948- ).

9 KHW

424339

920 -ISBN [ , ]

a ISBN

83-204-3221-9

240 -Tytuł ujednolicony [1,0]

a Tytuł ujednolicony

Mathematical logic for computer science

l Język tekstu

(pol.)

9 KHW

686144

245 -Strefa tytułu i oznaczenia odpowiedzialności [1,0]

a Tytuł

Logika matematyczna w informatyce /

c Pozostałe elementy strefy tytułu i oznaczenia odpowiedzialności (NP)

Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska.

250 -Strefa wydania [ , ]

a Oznaczenie wydania (NP)

Wyd. 2.

260 -Strefa adresu wydawniczego [ , ]

a Miejsce wydania (P)

Warszawa :

b Nazwa wydawcy (P)

Wydawnictwa Naukowo-Techniczne,

c Data wydania (P)

2006.

300 -Strefa opisu fizycznego [ , ]

a Określenie formy książki i/lub objętość (NP)

XIII, [1], 343, [1] s. :

b Oznaczenie ilustracji (NP)

il. ;

c Format (NP)

24 cm.

336 -Typ zawartości [ , ]

a Termin opisujący typ zawartości

Tekst

b Kod określający zawartość

txt

2 Źródło (terminu i kodu)

rdacontent

337 -Typ mediów [ , ]

a Tryb odtwarzania

Bez urządzenia pośredniczącego

b Kod typu mediów

n

2 Źródło (terminu i kodu)

rdamedia

338 -Typ/rodzaj nośnika [ , ]

a Hasło opisujące typ nośnika

Wolumin

b Kod typu nośnika

nc

2 Źródło (terminu i kodu)

rdacarrier

490 -Strefa serii i książki wielotomowej - forma nie do wyszukiwania [1, ]

a Tytuł (P)

Klasyka Informatyki

830 -Hasło dodatkowe serii i opisu książki wielotomowej - tytuł ujednolicony/tytuł [ ,0]

a Tytuł ujednolicony/tytuł (NP)

Klasyka Informatyki

9 KHW

534315

504 -Uwaga dot. bibliogr. załącznikowej [ , ]

a Uwaga dot. bibliografii załącznikowej

Bibliogr. s. 333-335. Indeks.

521 -Uwaga dot. przeznaczenia czytelniczego [8, ]

a Uwaga dot. przeznaczenia czytelniczego

Podręcznik dla studentów pierwszego roku informatyki.

080 -Uniwersalna Klasyfikacja Dziesiętna [ , ]

2 Identyfikator wydania tablic

UDC-P058

a Symbol klasyfikacji

510.6

b Dopowiedzenie

Logika matematyczna.

x Poddział wspólny

(075.8)

b Dopowiedzenie

(Podręczniki dla szkół wyższych. Skrypty).

650 -Hasło przedmiotowe [ , ]

a Hasło przedmiotowe

Logika symboliczna i matematyczna

v Określnik formalny

podręczniki akademickie.

9 KHW

358132

650 -Hasło przedmiotowe [ , ]

a Hasło przedmiotowe

Informatyka

x Określnik rzeczowy

matematyka

v Określnik formalny

podręczniki akademickie.

9 KHW

367943

980 -Symbol UKD [ , ]

a UKD

510.6(075.8)

700 -Hasło dodatkowe - nazwa osobowa [1, ]

a Nazwa osobowa (NP)

Miłkowska, Mirosława.

e Określenie rodzaju współpracy

Tł.

9 KHW

418587

710 -Hasło dodatkowe - nazwa ciała zbiorowego [2, ]

a Nazwa ciała zbiorowego lub nazwa geograficzna jako pierwszy element (NP)

Wydawnictwa Naukowo-Techniczne.

4 Kod relacji

pbl

9 KHW

56617

Egz.

Status udost.	Lokalizacja	Data inwentaryzacji	Numer inwentarzowy	Sygnatura
1	BG	2009-01-08	N.19235	Informatyka