• 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ł: On Satisfiability and Decidability in Non-Classical Functional Calculi

Twórca:

Rasiowa, Helena (1917–1994) ; Sikorski, Roman (1920–1983)

Data wydania/powstania:

1953

Typ zasobu:

Tekst

Więcej

Inny tytuł:

Bulletin de l'Académie Polonaise des Sciences. Classe 3 T.1 (1953) z.6 ; Bulletin de l'Académie Polonaise des Sciences. Classe 3, [Mathématique, Astronomie, Physique, Chimie, Géologie et Géographie].

Współtwórca:

Polska Akademia Nauk.

Wydawca:

Państ. Wydaw. Nauk.

Miejsce wydania:

Warszawa

Opis:

24 cm ; Tekst w jęz. angielskim

Typ obiektu:

Czasopismo/Artykuł

Tom:

1

Zeszyt:

6

Strona pocz.:

229

Strona końc.:

231

Format:

application/pdf

Identyfikator zasobu:

oai:rcin.org.pl:62595

Źródło:

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

Język:

eng ; eng

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:

Astronomia -- czasopisma. [KABA] Chemia -- czasopisma. [KABA] Fizyka -- czasopisma. [KABA] Geografia -- czasopisma. [KABA] Geologia -- czasopisma. [KABA] 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:

23 maj 2017

Liczba pobrań / odtworzeń:

41

Wszystkie dostępne wersje tego obiektu:

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

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. Classe 3 T.1 (1953)
      • Bulletin de l'Académie Polonaise des Sciences. Classe 3 T.1 (1953) Spis treści i dodatki
      • Bulletin de l'Académie Polonaise des Sciences. Classe 3 T.1 (1953) z.1-2
      • Bulletin de l'Académie Polonaise des Sciences. Classe 3 T.1 (1953) z.3-4
      • Bulletin de l'Académie Polonaise des Sciences. Classe 3 T.1 (1953) z.5
      • Bulletin de l'Académie Polonaise des Sciences. Classe 3 T.1 (1953) z.6
        • Sikorski, Roman (1920-1983), On Multiplication of Determinants in Banach spaces
        • Szmydt, Zofia (1923-2010), Sur la structure de l'ensemble engendre par les intégrales tendant vers le point singulier du système d'equations différentielles
        • Rasiowa, Helena (1917-1994), On Satisfiability and Decidability in Non-Classical Functional Calculi
        • Mrówka, Stanisław, Solution d'un problème d'Urysohn concernant les espaces métriques universels
        • Fisz, Marek, The limiting distributions of sums of arbitraty independent and equally distributed r-point (r≥ 2) random variables
        • Urbański, Tadeusz (1901-1985), On the Structure of Some Aliphatic Nitro-Compounds
        • Kamieński, Bogdan (1897-1973), Electrometric Adsorption Analysis of the Alkaloids of the Poison Nut (Strychnos Nux vomica) on Aluminium Oxide. Potentiometric Chromatography
        • Kamieński, Bogdan (1897-1973), Electrometric Adsorption Analysis of the Alkaloids of the Posion Nut (Strychnos Nux vomica) on Charcoal. Potentiometric Chromatology
        • Chmielewska, Irena (1905-1987), Yangonin and Pseudoyangonin: Two Isometric Ethers of Yangonalactone
        • Tokarski, Julian (1883-1961), The Control of the Chemical Composition of Certain Industrial Products by the Method of Powder-Planimeric Analysis
        • Tokarski, Julian (1883-1961), The Genesis and Systematic Position of Bentonites
        • Birkenmajer, Krzysztof (1929- ), Preliminary Revision of the Stratigraphy of the Pieniny Klippern-Belt Series in Poland
      • Bulletin de l'Académie Polonaise des Sciences. Classe 3 T.1 (1953) z.7
    • Bulletin de l'Académie Polonaise des Sciences. Classe 3 T.2 (1954)
    • Bulletin de l'Académie Polonaise des Sciences. Classe 3 T.3 (1955)
    • Bulletin de l'Académie Polonaise des Sciences. Classe 3 T.4 (1956)
    • Bulletin de l'Académie Polonaise des Sciences. Classe 3 T.5 (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 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
Rasiowa, Helena (1917-1994), On Satisfiability and Decidability in Non-Classical Functional Calculi	5 sty 2022

Obiekty Podobne

Constructive Theories

Rasiowa, Helena (1917–1994)

1954

Czasopismo/Artykuł

• ris
• BibTeX

On Multiplication of Determinants in Banach spaces

Sikorski, Roman (1920–1983)

1953

Czasopismo/Artykuł

• ris
• BibTeX

A Definition of the Notion of Distribution.

Sikorski, Roman (1920–1983)

1954

Czasopismo/Artykuł

• ris
• BibTeX

Bulletin de l'Académie Polonaise des Sciences. Classe 3, [Mathématique, Astronomie, Physique, Chimie, Géologie et Géographie].

1957

• ris
• BibTeX

Bulletin de l'Académie Polonaise des Sciences. Classe 3, [Mathématique, Astronomie, Physique, Chimie, Géologie et Géographie].

1955

• ris
• BibTeX

A generalization of the theory of distributions

Słowikowski, Wojtek

1955

• ris
• BibTeX

Note on the ⁶Li(n, d) ⁵He reaction

Dąbrowski, J. Sawicki, J.

1955

Czasopismo/Artykuł

• ris
• BibTeX

Use of electric field pulses as a method of investigating semiconducing films

Rzewuski, H. Sosnowski, L.

1955

Czasopismo/Artykuł

• ris
• BibTeX

Więcej

podobne w FBC

Więcej w FBC