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

20211027020400.0

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

a Numer ISBN

8385116923

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

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

KAT U/SG

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

KAT U/SG

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

KR U/mal

942 -Rodzaj dokumentu [ , ]

c Rodzaj dokumentu

Książka

920 -ISBN [ , ]

a ISBN

83-85116-92-3

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

a Tytuł

Algebraic methods in logic and in computer science /

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

ed. Cecylia Rauszer.

260 -Strefa adresu wydawniczego [ , ]

a Miejsce wydania (P)

Warszawa :

b Nazwa wydawcy (P)

Instytut Matematyczny PAN,

c Data wydania (P)

1993.

300 -Strefa opisu fizycznego [ , ]

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

342 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)

Banach Center Publications,

x ISSN (NP)

0137-6934 ;

v Numeracja (P)

vol. 28

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

a Tytuł ujednolicony/tytuł (NP)

Banach Center Publications

x ISSN

0137-6934

v Oznaczenie tomu (NP)

28

9 KHW

1157

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

a Uwaga dot. bibliografii załącznikowej

Bibliogr. przy rozdz.

080 -Uniwersalna Klasyfikacja Dziesiętna [ , ]

a Symbol klasyfikacji

510.6=20

080 -Uniwersalna Klasyfikacja Dziesiętna [ , ]

a Symbol klasyfikacji

:512.5=20

080 -Uniwersalna Klasyfikacja Dziesiętna [ , ]

a Symbol klasyfikacji

:519.68=20

650 -Hasło przedmiotowe [ , ]

a Hasło przedmiotowe

Informatyka

v Określnik formalny

konferencje.

9 KHW

359436

650 -Hasło przedmiotowe [ , ]

a Hasło przedmiotowe

Logika algebraiczna

v Określnik formalny

konferencje.

9 KHW

685101

980 -Symbol UKD [ , ]

a UKD

510.6:512.5:519.68]=20

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

a Nazwa osobowa (NP)

Rauszer, Cecylia

d Daty biograficzne (NP)

(1942-1994).

e Określenie rodzaju współpracy

Red.

9 KHW

250152

Egz.

Numer inwentarzowy	Status udost.	Sygnatura	Data inwentaryzacji	Lokalizacja
N.18010	1	N.18821/28	2001-11-09	BG