On Satisfiability and Decidability in Non-Classical Functional Calculi - Instytut Matematyczny PAN

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

On Satisfiability and Decidability in Non-Classical Functional Calculi

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.

Tytuł: On Satisfiability and Decidability in Non-Classical Functional Calculi

Twórca:

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

Data wydania/powstania:

Typ zasobu:

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:

Opis:

24 cm ; Text in English

Typ obiektu:

Journal/Article

Tom:

Zeszyt:

Strona pocz.:

Strona końc.:

Format:

application/pdf

Identyfikator zasobu:

oai:rcin.org.pl:62595

Źródło:

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

Język:

Prawa:

Rights Reserved - Restricted Access

Zasady wykorzystania:

Copyright-protected material. Access only on terminals at the Institute of Mathematics of the Polish Academy of Sciences, may be used within the limits of statutory user freedoms.

Digitalizacja:

Institute of Mathematics of the Polish Academy of Sciences

Lokalizacja oryginału:

Library of the Institute of Mathematics of the Polish Academy of Sciences

Dofinansowane ze środków:

Programme Innovative Economy, 2010-2014, Priority Axis 2. R&D infrastructure ; European Union. European Regional Development Fund

Dostęp:

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:

Instytut Matematyczny PAN > Czasopisma

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/impan/publication/71237

Wyświetl opis w formacie RDF:

Wyświetl opis w formacie RDFa:

Wyświetl opis w formacie OAI-PMH:

Bulletin of the Polish Academy of Sciences / Bulletin de lʾAcadémie Polonaise

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

Journal/Article

On Multiplication of Determinants in Banach spaces

Sikorski, Roman (1920–1983)

1953

Journal/Article

A Definition of the Notion of Distribution.

Sikorski, Roman (1920–1983)

1954

Journal/Article

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

1957

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

1955

A generalization of the theory of distributions

Słowikowski, Wojtek

1955

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

Dąbrowski, J. Sawicki, J.

1955

Journal/Article

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

Rzewuski, H. Sosnowski, L.

1955

Journal/Article

Więcej

Styl cytowania:

iso690-author-date apa modern-language-association chicago-author-date

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji