Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski.
-
- @
- pole kontrolne
- 20210914141422.0
-
- a
- Instytucja, która sporządziła opis (NP)
- CZĘST 010/Anna Tromczyńska
-
- d
- Instytucja, która zmodyfikowała rekord (P)
- Częst 010/LKM
-
- b
- Język katalogowania
- polski
-
- c
- Instytucja, która sporządziła rekord (NP)
- CZĘST 010/Renata Łęgowik
-
- e
- Zasady katalogowania
- rda
-
- a
- Język tekstu (P)
- polski
-
- b
- Język streszczeń lub abstraktu (P)
- angielski
-
- a
- Kraj miejsca wydania
- Polska
-
- c
- Rodzaj dokumentu
- Książka
-
- a
- Nr kolejny z bazy źródłowej
- 64076
-
- a
- Numer ISBN
- 8323203555
-
- a
- Nazwa osobowa (NP)
- Murawski, Roman
-
- d
- Daty biograficzne (NP)
- (1949- ).
-
- 9
- KHW
- 72322
-
- e
- Rodzaj współpracy
- Autor
-
- a
- Tytuł
- Funkcje rekurencyjne i elementy metamatematyki :
-
- b
- Ciąg dalszy tytułu (NP)
- problemy zupełności, rozstrzygalności, twierdzenia Gödla /
-
- c
- Pozostałe elementy strefy tytułu i oznaczenia odpowiedzialności (NP)
- Roman Murawski.
-
- a
- Oznaczenie wydania (NP)
- Wydanie I.
-
- a
- Miejsce wydania (P)
- Poznań :
-
- b
- Nazwa wydawcy (P)
- Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu,
-
- c
- Data wydania (P)
- 1990.
-
- a
- Nazwa ciała zbiorowego lub nazwa geograficzna jako pierwszy element (NP)
- Uniwersytet im. Adama Mickiewicza (Poznań).
-
- 4
- Kod relacji
- pbl
-
- 9
- KHW
- 52821
-
- b
- Nazwa jednostki podrzędnej (P)
- Wydawnictwo Naukowe.
-
- e
- Rodzaj współpracy
- Wydawca
-
- a
- ISBN
- 83-232-0355-5
-
- a
- Określenie formy książki i/lub objętość (NP)
- 186 stron ;
-
- c
- Format (NP)
- 24 cm.
-
- 2
- Źródło (terminu i kodu)
- rdacontent
-
- a
- Termin opisujący typ zawartości
- Tekst
-
- b
- Kod określający zawartość
- txt
-
- 2
- Źródło (terminu i kodu)
- rdamedia
-
- a
- Tryb odtwarzania
- Bez urządzenia pośredniczacego
-
- b
- Kod typu mediów
- n
-
- 2
- Źródło (terminu i kodu)
- rdacarrier
-
- a
- Termin określający typ nośnika
- Wolumin
-
- b
- Kod typu nośnika
- nc
-
- a
- Tytuł (P)
- Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu,
-
- x
- ISSN (NP)
- 0551-6625 ;
-
- v
- Numeracja (P)
- nr 11
-
- 9
- KHW
- 38967
-
- a
- Tytuł ujednolicony/tytuł (NP)
- Matematyka - Uniwersytet im. Adama Mickiewicza w Poznaniu
-
- x
- ISSN
- 0551-6625
-
- a
- Symbol klasyfikacji
- 510.6
-
- 9
- UKD
- 2151
-
- 2
- Identyfikator wydania tablic
- UDC-P058
-
- b
- Dopowiedzenie
- Logika matematyczna.
-
- a
- Uwaga dot. bibliografii załącznikowej
- Bibliografia na stronach [175]-179. Indeksy.
-
- a
- Uwaga dot. języka
- Streszczenie w języku angielskim.
-
- 9
- KHW
- 119075
-
- a
- Hasło przedmiotowe
- Metamatematyka.
-
- 9
- KHW
- 117654
-
- a
- Hasło przedmiotowe
- Logika symboliczna i matematyczna.
| 005 -DATA I CZAS OSTATNIEJ MODYFIKACJI [,] |
|
|---|---|
| 040 -Instytucja sporządzająca opis [ , ] |
|
| 041 -Język dokumentu [0, ] |
|
| 044 -Kraj miejsca wydania [ , ] |
|
| 942 -Rodzaj dokumentu [ , ] |
|
| 999 -Numery rekordu źródła [ , ] |
|
| 020 -Międzynarod. znormalizowany nr książki - ISBN [ , ] |
|
| 100 -Hasło główne - nazwa osobowa [1, ] |
|
| 245 -Strefa tytułu i oznaczenia odpowiedzialności [1,0] |
|
| 250 -Strefa wydania [ , ] |
|
| 260 -Strefa adresu wydawniczego [ , ] |
|
| 710 -Hasło dodatkowe - nazwa ciała zbiorowego [2, ] |
|
| 920 -ISBN [ , ] |
|
| 300 -Strefa opisu fizycznego [ , ] |
|
| 336 -Typ zawartości [ , ] |
|
| 337 -Typ mediów [ , ] |
|
| 338 -Typ/rodzaj nośnika [ , ] |
|
| 490 -Strefa serii i książki wielotomowej - forma nie do wyszukiwania [1, ] |
|
| 830 -Hasło dodatkowe serii i opisu książki wielotomowej - tytuł ujednolicony/tytuł [ ,0] |
|
| 080 -Uniwersalna Klasyfikacja Dziesiętna [ , ] |
|
| 504 -Uwaga dot. bibliogr. załącznikowej [ , ] |
|
| 546 -Uwaga dot. języka [ , ] |
|
| 650 -Hasło przedmiotowe [ , ] |
|
| 650 -Hasło przedmiotowe [ , ] |
|
| Sygnatura (kod) z bazy źródłowej | Status udost. | Kierowanie | Numer inwentarzowy |
|---|---|---|---|
| 221855 | -1 | BUW | BU.221855 |
| 221856 | -1 | BUW | BU.221856 |
| 221857 | -1 | BUW | BU.221857 |
| 221858 | -1 | BUW | BU.221858 |
| 221859 | -1 | BUW | BU.221859 |