Model theory for infinitary logic : logic with counjunctions and finite quantifiers / H. Jerome Keisler.

  1. Home
  2. MARC21

005 -DATA I CZAS OSTATNIEJ MODYFIKACJI [,]
    • @
    • pole kontrolne
    • 20241231093009.0
040 -Instytucja sporządzająca opis [ , ]
    • a
    • Instytucja, która sporządziła opis (NP)
    • WA U/94ANK
    • c
    • Instytucja, która sporządziła rekord (NP)
    • WA U/ANK
    • d
    • Instytucja, która zmodyfikowała rekord (P)
    • WA U/ANK
044 -Kraj miejsca wydania [ , ]
    • a
    • Kraj miejsca wydania
    • Niderlandy
    • a
    • Kraj miejsca wydania
    • Wielka Brytania po 1988
942 -Rodzaj dokumentu [ , ]
    • c
    • Rodzaj dokumentu
    • Książka
999 -Numery rekordu źródła [ , ]
    • a
    • Nr kolejny z bazy źródłowej
    • 127953
020 -Międzynarod. znormalizowany nr książki - ISBN [ , ]
    • a
    • Numer ISBN
    • 0720422582 Find
100 -Hasło główne - nazwa osobowa [1, ]
    • a
    • Nazwa osobowa (NP)
    • Keisler, H. Jerome.
    • 9
    • KHW
    • 519830
245 -Strefa tytułu i oznaczenia odpowiedzialności [1,0]
    • a
    • Tytuł
    • Model theory for infinitary logic : Find
    • b
    • Ciąg dalszy tytułu (NP)
    • logic with counjunctions and finite quantifiers /
    • c
    • Pozostałe elementy strefy tytułu i oznaczenia odpowiedzialności (NP)
    • H. Jerome Keisler.
260 -Strefa adresu wydawniczego [ , ]
    • a
    • Miejsce wydania (P)
    • Amsterdam ;
    • a
    • Miejsce wydania (P)
    • London :
    • b
    • Nazwa wydawcy (P)
    • North-Holland Publishing Company,
    • c
    • Data wydania (P)
    • 1971.
920 -ISBN [ , ]
    • a
    • ISBN
    • 0-7204-2258-2 Find
300 -Strefa opisu fizycznego [ , ]
    • a
    • Określenie formy książki i/lub objętość (NP)
    • X, 208 s. :
    • b
    • Oznaczenie ilustracji (NP)
    • il. ;
    • c
    • Format (NP)
    • 23 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
    • Termin określający 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)
    • Studies in Logic and the Foundations of Mathematics ;
    • v
    • Numeracja (P)
    • vol. 62
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. 62
    • 9
    • KHW
    • 519831
080 -Uniwersalna Klasyfikacja Dziesiętna [ , ]
    • 2
    • Identyfikator wydania tablic
    • UDC-P058
    • 9
    • UKD
    • 2151
    • a
    • Symbol klasyfikacji
    • 510.6
    • b
    • Dopowiedzenie
    • Logika matematyczna.
504 -Uwaga dot. bibliogr. załącznikowej [ , ]
    • a
    • Uwaga dot. bibliografii załącznikowej
    • Bibliogr. s. 193-203. Indeks.
650 -Hasło przedmiotowe [ ,7]
    • a
    • Hasło przedmiotowe
    • Teoria modeli.
    • 2
    • Kod źródła hasła lub terminu
    • kaba
    • 9
    • KHW
    • 133329
Numer inwentarzowy Kierowanie Sygnatura (kod) z bazy źródłowej Status udost.
BU.121761BUW121761-1