• Przejdź do menu głównego
• Przejdź do wyszukiwarki
• Przejdź do treści
• Przejdź do stopki

• Wyszukaj w całym Repozytorium
• Piśmiennictwo i mapy
• Archeologia
• Baza Młynów
• Nauki przyrodnicze

Szukaj w Repozytorium

Pole wyszukiwania Wyszukaj

Jak wyszukiwać... Wyszukiwanie zaawansowane

Wyszukiwanie zaawansowane

Zamknij

Wszystkie pola Szukaj w treści Nazwa/Tytuł Lokalizacja geograficzna Czasopismo/Seria/cykl Temat i słowa kluczowe

n.e. p.n.e.

n.e. p.n.e.

i lub

Nazwa/Tytuł Lokalizacja geograficzna Czasopismo/Seria/cykl Temat i słowa kluczowe

n.e. p.n.e.

n.e. p.n.e.

Usuń

Dodaj element zapytania

Obiekt zawiera współrzędne geograficzne

Jak wyszukiwać...

Wyszukaj

Szukaj w Piśmiennictwo i mapy

Pole wyszukiwania Wyszukaj

Jak wyszukiwać... Wyszukiwanie zaawansowane

Wyszukiwanie zaawansowane

Zamknij

Wszystkie pola Szukaj w treści Tytuł Czasopismo/Seria/cykl Autor/Twórca Temat i słowa kluczowe Wydawca Data wydania Zakres przestrzenny

n.e. p.n.e.

n.e. p.n.e.

i lub

Tytuł Czasopismo/Seria/cykl Autor/Twórca Temat i słowa kluczowe Wydawca Data wydania Zakres przestrzenny

n.e. p.n.e.

n.e. p.n.e.

Usuń

Dodaj element zapytania

Obiekt zawiera współrzędne geograficzne

Jak wyszukiwać...

Wyszukaj

Szukaj w Archeologia

Pole wyszukiwania Wyszukaj

Jak wyszukiwać... Wyszukiwanie zaawansowane

Wyszukiwanie zaawansowane

Zamknij

Wszystkie pola Szukaj w treści Nazwa Lokalizacja Rodzaj obiektu Kierownik badań/ Twórca kolekcji Chronologia Czasopismo/Seria/cykl Charakterystyka obiektu- surowiec Numer inwentarzowy

n.e. p.n.e.

n.e. p.n.e.

i lub

Nazwa Lokalizacja Rodzaj obiektu Kierownik badań/ Twórca kolekcji Chronologia Czasopismo/Seria/cykl Charakterystyka obiektu- surowiec Numer inwentarzowy

n.e. p.n.e.

n.e. p.n.e.

Usuń

Dodaj element zapytania

Obiekt zawiera współrzędne geograficzne

Jak wyszukiwać...

Wyszukaj

Szukaj w Baza Młynów

Pole wyszukiwania Wyszukaj

Jak wyszukiwać... Wyszukiwanie zaawansowane

Wyszukiwanie zaawansowane

Zamknij

Wszystkie pola Szukaj w treści Nazwa ujednolicona Lokalizacja Rodzaj obiektu

n.e. p.n.e.

n.e. p.n.e.

i lub

Nazwa ujednolicona Lokalizacja Rodzaj obiektu

n.e. p.n.e.

n.e. p.n.e.

Usuń

Dodaj element zapytania

Obiekt zawiera współrzędne geograficzne

Jak wyszukiwać...

Wyszukaj

Szukaj w Nauki przyrodnicze

Pole wyszukiwania Wyszukaj

Jak wyszukiwać... Wyszukiwanie zaawansowane

Wyszukiwanie zaawansowane

Zamknij

Wszystkie pola Szukaj w treści Akronim zielnika Numer/kod Kategoria ponadrodzajowa Nazwa łacińska Nazwa polska Lokalizacja Data zebrania Zbieracz/ Obserwator Typ (nomenklaturowy)

n.e. p.n.e.

n.e. p.n.e.

i lub

Akronim zielnika Numer/kod Kategoria ponadrodzajowa Nazwa łacińska Nazwa polska Lokalizacja Data zebrania Zbieracz/ Obserwator Typ (nomenklaturowy)

n.e. p.n.e.

n.e. p.n.e.

Usuń

Dodaj element zapytania

Typ nomenklaturowy

Obiekt zawiera współrzędne geograficzne

Jak wyszukiwać...

Wyszukaj

Poproś o dostęp

Odmowa wysyłania. Niepoprawny tekst z obrazka.

Odmowa wysyłania. Weryfikacja reCAPTCHA nie powiodła się.

Nie masz uprawnień do wyświetlenia tego obiektu. Aby poprosić o dostęp do niego, wypełnij poniższe pola.

E-mail^* Uzasadnienie^*

Wpisz tekst z obrazka. ^*

Anuluj Wyślij

Obiekt

Pobierz opis bibliograficzny

• ris
• BibTeX
• EndNote
• Csv

• pl en

Zaktualizowano subskrypcję.

Błąd podczas zmiany subskrypcji.

Dostęp ograniczony

• Pokaż treść

Pobierz

Ta publikacja jest chroniona prawem autorskim. Dostęp do jej cyfrowej wersji jest możliwy na terminalach komputerowych w instytucji, która ją udostępnia.

Ta publikacja jest chroniona prawem autorskim. Dostęp do jej cyfrowej wersji jest możliwy na terminalach komputerowych w instytucji, która ją udostępnia.

• Opis
• Informacje
• Struktura

Tytuł: Gentzen-type semantics for v-valued infinitary predicate calculi

Twórca:

Przymusińska, Halina

Data wydania/powstania:

1980

Typ zasobu:

Tekst

Więcej

Inny tytuł:

Série des Sciences Mathématiques ; Bulletin de lʾAcadémie Polonaise. Série des Sciences Mathématiques

Współtwórca:

Polska Akademia Nauk. ; Państwowe Wydawnictwo Naukowe (1951–1992)

Wydawca:

Państwowe Wydawnictwo Naukowe

Miejsce wydania:

Varsovie

Opis:

Tekst w jęz. angielskim ; Streszczenie w jęz. rosyjskim ; 23 cm

Typ obiektu:

Czasopismo/Artykuł

Tom:

28

Zeszyt:

5-6

Strona pocz.:

203

Strona końc.:

206

Format:

application/pdf

Identyfikator zasobu:

oai:rcin.org.pl:62678

Źródło:

kliknij tutaj, żeby przejść ; IM PAN, sygn. cz331

Język:

eng

Język streszczenia:

rus

Prawa:

Prawa zastrzeżone - dostęp ograniczony

Zasady wykorzystania:

Zasób chroniony prawem autorskim. Korzystanie dozwolone wyłącznie na terminalach Instytutu Matematycznego PAN w zakresie określonym przez przepisy o dozwolonym użytku.

Digitalizacja:

Instytut Matematyczny Polskiej Akademii Nauk

Lokalizacja oryginału:

Centralna Biblioteka Matematyczna Instytutu Matematycznego PAN

Dofinansowane ze środków:

Program Operacyjny Innowacyjna Gospodarka, lata 2010-2014, Priorytet 2. Infrastruktura strefy B + R ; Unia Europejska. Europejski Fundusz Rozwoju Regionalnego

Dostęp:

Zamknięty

Temat i słowa kluczowe:

Matematyka -- czasopisma. [KABA]

Kolekcje, do których przypisany jest obiekt:

• Repozytorium Cyfrowe Instytutów Naukowych > Kolekcje Partnerów > Instytut Matematyczny PAN > Czasopisma
• Repozytorium Cyfrowe Instytutów Naukowych > Piśmiennictwo > Czasopisma/Artykuły

Data ostatniej modyfikacji:

5 sty 2022

Data dodania obiektu:

26 maj 2017

Liczba pobrań / odtworzeń:

32

Wszystkie dostępne wersje tego obiektu:

https://rcin.org.pl./publication/82276

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie RDFa:

RDFa

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

• Bulletin of the Polish Academy of Sciences / Bulletin de lʾAcadémie Polonaise
  • Bulletin de l'Académie Polonaise des Sciences, Classe 3, 1953-1957
  • Bulletin de lʾAcadémie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, 1958-1978
  • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques, 1979-1982
    • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 27 (1979)
    • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 (1980)
      • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 z.1-2 (1980)
      • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 z. 3-4 (1980)
      • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 z. 5-6 (1980)
        • Przymusińska, Halina, 1980, On v-valued infinitary predicate calculi
        • Przymusińska, Halina, 1980, Some results concerning v-valued infinitary predicate calculi
        • Przymusińska, Halina, 1980, Gentzen-type semantics for v-valued infinitary predicate calculi
        • Przymusińska, Halina, 1980, Craig interpolation theorem and Hanf number for v-valued infinitary predicate calculi
        • Kossak, Roman, 1980, An application of definable types of Peano's arithmetic
        • Ciesielski, Krzysztof, 1980, Generalized threshold logic
        • Grzegorek, Edward, 1980, A remark on absolutely measurable sets
        • Baksalary, Jerzy K., 1980, Two properties of a nonnegative definite matrix
        • Wojtyński, Wojciech, 1980, Associative algebras generated by Lie algebras of compact operators
        • Puczyłowski, Edmund R., 1980, On radicals of tensor products
        • Krempa, Jan, 1980, Semilocal, semiperfect and perfect tensor products
        • Sawoń, Zbigniew, 1980, Maximal subalgebras of algebra C(X)
        • Sawoń, Zbigniew, 1980, Arens-Singer measures in uniform banach algebras
        • Luu, Dinh Quang, 1980, On the Radon-Nikodym property in Banach spaces
        • Ewert, Janina, 1980, Homotopical properties and the topological degree for γ-contraction vector fields
        • Górniewicz, Lech (1941- ), 1980, On the set of solutions of the Darboux problem for some hyperbolic equations
        • Borsuk, Karol (1905-1982), 1980, On shape-regularity of several locally connected continua
        • Balcar, Bohuslav (1943- ), 1980, More on nowhere dense closed P-sets
        • Bashkirov, Aleksandr I., 1980, On Fréchet compactifications of discrete spaces
        • Kirkor, Andrzej, 1980, A characterization of unknotted θ-curves of order n
      • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 z. 7-8 (1980)
      • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 z. 9-10 (1980)
      • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 28 z. 11-12 (1980)
      • 1980, Spis treści i dodatki
    • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 29 (1981)
    • Bulletin de lʾAcademie Polonaise des Sciences. Série des Sciences Mathématiques T. 30 (1982)
  • Bulletin of the Polish Academy of Sciences. Mathematics, 1983-2003
  • Bulletin of the Polish Academy of Sciences. Mathematics, 2022-2023
  • Bulletin of the Polish Academy of Sciences. Mathematics, 2022-2023

Nazwa wydania	Data
Przymusińska, Halina, 1980, Gentzen-type semantics for v-valued infinitary predicate calculi	5 sty 2022

Obiekty Podobne

Craig interpolation theorem and Hanf number for v-valued infinitary predicate calculi

Przymusińska, Halina

1980

Czasopismo/Artykuł

• ris
• BibTeX

Some results concerning v-valued infinitary predicate calculi

Przymusińska, Halina

1980

Czasopismo/Artykuł

• ris
• BibTeX

On v-valued infinitary predicate calculi

Przymusińska, Halina

1980

Czasopismo/Artykuł

• ris
• BibTeX

Annales Polonici Mathematici

1963

Czasopismo/Artykuł

• ris
• BibTeX

Bulletin of the Polish Academy of Sciences. Mathematics.

1988

Czasopismo/Artykuł

• ris
• BibTeX

Bulletin of the Polish Academy of Sciences. Mathematics.

1997

Czasopismo/Artykuł

• ris
• BibTeX

Annales Polonici Mathematici

1966

Czasopismo/Artykuł

• ris
• BibTeX

Annales Polonici Mathematici

1964-1965

Czasopismo/Artykuł

• ris
• BibTeX

Więcej

podobne w FBC

Więcej w FBC