Algebra of proofs / M. E. Szabo.

  1. Home
  2. MARC21

005 -DATA I CZAS OSTATNIEJ MODYFIKACJI [,]
    • @
    • pole kontrolne
    • 20230531121253.0
040 -Instytucja sporządzająca opis [ , ]
    • b
    • Język katalogowania
    • polski
    • d
    • Instytucja, która zmodyfikowała rekord (P)
    • Częst 010/IC
    • e
    • Zasady katalogowania
    • rda
041 -Język dokumentu [0, ]
    • b
    • Język streszczeń lub abstraktu (P)
    • angielski
044 -Kraj miejsca wydania [ , ]
    • a
    • Kraj miejsca wydania
    • Niderlandy
942 -Rodzaj dokumentu [ , ]
    • c
    • Rodzaj dokumentu
    • Książka
999 -Numery rekordu źródła [ , ]
    • a
    • Nr kolejny z bazy źródłowej
    • 5473
020 -Międzynarod. znormalizowany nr książki - ISBN [ , ]
    • a
    • Numer ISBN
    • 072042200 Find
020 -Międzynarod. znormalizowany nr książki - ISBN [ , ]
    • a
    • Numer ISBN
    • 0720422868 Find
100 -Hasło główne - nazwa osobowa [1, ]
    • a
    • Nazwa osobowa (NP)
    • Szabo, Manfred Egon.
    • e
    • Rodzaj współpracy
    • Autor
245 -Strefa tytułu i oznaczenia odpowiedzialności [1,0]
    • a
    • Tytuł
    • Algebra of proofs / Find
    • c
    • Pozostałe elementy strefy tytułu i oznaczenia odpowiedzialności (NP)
    • M. E. Szabo.
250 -Strefa wydania [ , ]
    • a
    • Oznaczenie wydania (NP)
    • Second printing.
260 -Strefa adresu wydawniczego [ , ]
    • a
    • Miejsce wydania (P)
    • Amsterdam [etc.] :
    • b
    • Nazwa wydawcy (P)
    • North-Holland Publishing Company,
    • c
    • Data wydania (P)
    • 1980.
710 -Hasło dodatkowe - nazwa ciała zbiorowego [2, ]
    • 4
    • Kod relacji
    • pbl
    • 9
    • KHW
    • 57809
    • e
    • Rodzaj współpracy
    • Wydawca
920 -ISBN [ , ]
    • a
    • ISBN
    • 0-7204-2200 Find
920 -ISBN [ , ]
    • a
    • ISBN
    • 07204-2286-8 Find
300 -Strefa opisu fizycznego [ , ]
    • a
    • Określenie formy książki i/lub objętość (NP)
    • XII, 297 stron ;
    • c
    • Format (NP)
    • 23 cm.
336 -Typ zawartości [ , ]
    • 2
    • Źródło (terminu i kodu)
    • rdacontent
    • a
    • Termin opisujący typ zawartości
    • Tekst
    • b
    • Kod określający zawartość
    • txt
337 -Typ mediów [ , ]
    • 2
    • Źródło (terminu i kodu)
    • rdamedia
    • a
    • Tryb odtwarzania
    • Bez urządzenia pośredniczącego
    • b
    • Kod typu mediów
    • n
338 -Typ/rodzaj nośnika [ , ]
    • 2
    • Źródło (terminu i kodu)
    • rdacarrier
    • a
    • Termin określający typ nośnika
    • Wolumin
    • b
    • Kod typu nośnika
    • nc
490 -Strefa serii i książki wielotomowej - forma nie do wyszukiwania [1, ]
    • a
    • Tytuł (P)
    • Studies in Logic and the Foundations of Mathematics ;
    • v
    • Numeracja (P)
    • vol. 88
830 -Hasło dodatkowe serii i opisu książki wielotomowej - tytuł ujednolicony/tytuł [ ,0]
    • a
    • Tytuł ujednolicony/tytuł (NP)
    • Studies in Logic and the Foundations of Mathematics
    • x
    • ISSN
    • 0049-237X
    • v
    • Oznaczenie tomu (NP)
    • vol. 88
080 -Uniwersalna Klasyfikacja Dziesiętna [ , ]
    • 2
    • Identyfikator wydania tablic
    • UDC-P058
    • 9
    • UKD
    • 2151
    • a
    • Symbol klasyfikacji
    • 510.6
    • b
    • Dopowiedzenie
    • Logika matematyczna.
080 -Uniwersalna Klasyfikacja Dziesiętna [ , ]
    • 2
    • Identyfikator wydania tablic
    • FID 607
    • 9
    • UKD
    • 8053
    • a
    • Symbol klasyfikacji
    • 511.3
    • b
    • Dopowiedzenie
    • Zagadnienia analitycznej, addytywnej i innych teorii liczb włączając przybliżenia diofantyczne.
504 -Uwaga dot. bibliogr. załącznikowej [ , ]
    • a
    • Uwaga dot. bibliografii załącznikowej
    • Bibliografia na stronach 278-284. Indeksy.
650 -Hasło przedmiotowe [ , ]
    • 9
    • KHW
    • 117646
    • a
    • Hasło przedmiotowe
    • Logika kombinatoryczna.
650 -Hasło przedmiotowe [ , ]
    • a
    • Hasło przedmiotowe
    • Teoria dowodu.
650 -Hasło przedmiotowe [ , ]
    • 9
    • KHW
    • 114218
    • a
    • Hasło przedmiotowe
    • Kategorie (matematyka).
Numer inwentarzowy Status udost. Sygnatura (kod) z bazy źródłowej Kierowanie
BU.121763-1121763BUW