| 000 -ETYKIETA REKORDU |
|---|
| fixed length control field |
01291cam a2200313 i 4500 |
| 001 - NUMER KONTROLNY REKORDU |
|---|
| control field |
UKSW172580 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
WA 392 384678 |
| 005 - DATA OSTATNIEJ MODYFIKACJI REKORDU |
|---|
| control field |
20140331012100.0 |
| 008 - POLA STAŁEJ DŁUGOŚCI--DANE KONTROLNE |
|---|
| fixed length control field |
060323s2000 pl |000 0 eng c |
| 020 ## - MIĘDZYNARODOWY ZNORMALIZOWANY NUMER KSIĄŻKI - ISBN |
|---|
| International Standard Book Number |
8322610238 |
| 035 ## - NUMER KONTROLNY |
|---|
| System control number |
zz2006945718 |
| 040 ## - INSTYTUCJA SPORZĄDZAJĄCA OPIS |
|---|
| Original cataloging agency |
KR 93/GM |
| Transcribing agency |
KR 93/GM |
| Modifying agency |
KR 93/MN |
| -- |
KR 93/MKs |
| 041 0# - JĘZYK DOKUMENTU |
|---|
| Language code of text/sound track or separate title |
eng |
| Language code of summary or abstract |
pol |
| -- |
rus |
| 100 1# - HASŁO GŁÓWNE-NAZWA OSOBOWA |
|---|
| Personal name |
Biela, Andrzej. |
| Authority record control number or standard number |
n 94250212 |
| 9 (RLIN) |
88035 |
| 245 10 - TYTUŁ I OZNACZENIA ODPOWIEDZIALNOŚCI |
|---|
| Title |
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories / |
| Statement of responsibility, etc. |
Andrzej Biela. |
| 260 ## - ADRES WYDAWNICZY |
|---|
| Place of publication, distribution, etc. |
Katowice : |
| Name of publisher, distributor, etc. |
Wydawnictwo Uniwersytetu Śląskiego, |
| Date of publication, distribution, etc. |
2000. |
| 300 ## - OPIS FIZYCZNY |
|---|
| Extent |
121, [1] s. ; |
| Dimensions |
24 cm. |
| 490 1# - TYTUŁ SERII I KSIĄŻKI WIELOTOMOWEJ PODANY W FORMIE NIE DO WYSZUKIWANIA |
|---|
| Series statement |
Prace Naukowe Uniwersytetu Śląskiego w Katowicach |
| International Standard Serial Number |
0208-6336 |
| Volume/sequential designation |
nr 1901 |
| 504 ## - UWAGA O BIBLIOGRAFII |
|---|
| Bibliography, etc. note |
Bibliogr. s. 113-118. |
| 546 ## - UWAGA O JĘZYKU OPISYWANEGO MATERIAŁU |
|---|
| Language note |
Streszcz. pol. i ros. |
| 650 ## - HASŁO PRZEDMIOTOWE - NAZWA POSPOLITA |
|---|
| Topical term or geographic name entry element |
Algorytmy. |
| Authority record control number or standard number |
s 95011375 |
| 9 (RLIN) |
111737 |
| 650 ## - HASŁO PRZEDMIOTOWE - NAZWA POSPOLITA |
|---|
| Topical term or geographic name entry element |
Języki formalne. |
| Authority record control number or standard number |
s 96010578 |
| 9 (RLIN) |
159208 |
| 650 ## - HASŁO PRZEDMIOTOWE - NAZWA POSPOLITA |
|---|
| Topical term or geographic name entry element |
Logika symboliczna i matematyczna. |
| Authority record control number or standard number |
s 95010216 |
| 9 (RLIN) |
97369 |
| 650 ## - HASŁO PRZEDMIOTOWE - NAZWA POSPOLITA |
|---|
| Topical term or geographic name entry element |
Automatyczne dowodzenie twierdzeń. |
| Authority record control number or standard number |
s 99085403 |
| 9 (RLIN) |
192079 |
| 710 2# - HASŁO DODATKOWE - NAZWA CIAŁA ZBIOROWEGO |
|---|
| Corporate name or jurisdiction name as entry element |
Uniwersytet Śląski (Katowice). |
| Subordinate unit |
Wydawnictwo. |
| Relator code |
Wydawca |
| Authority record control number or standard number |
n 2012026650 |
| 9 (RLIN) |
28655 |
| 830 #0 - HASŁO DODATKOWE SERII I OPISU KSIĄŻKI WIELOTOMOWEJ - TYTUŁ |
|---|
| Uniform title |
Prace Naukowe Uniwersytetu Śląskiego w Katowicach |
| International Standard Serial Number |
0208-6336 |
| Volume/sequential designation |
nr 1901 |
| Authority record control number or standard number |
t 94204712 |
| 9 (RLIN) |
54732 |
| 920 ## - ISBN (ze znakami rozdzielającymi) |
|---|
| ISBN |
83-226-1023-8 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Koha item type |
Książka |
| Koha issues (borrowed), all copies |
0 |
