On Satisfiability and Decidability in Non-Classical Functional Calculi - Institute of Mathematics PAS

Skip to main menu
Skip to search engine
Skip to content
Skip to footer

On Satisfiability and Decidability in Non-Classical Functional Calculi

Download

This publication is protected by copyright. Access to its digital version is possible on computer terminals in the institution that shares it.

This publication is protected by copyright. Access to its digital version is possible on computer terminals in the institution that shares it.

Title: On Satisfiability and Decidability in Non-Classical Functional Calculi

Creator:

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

Date issued/created:

Resource type:

Subtitle:

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].

Contributor:

Polska Akademia Nauk.

Publisher:

Państ. Wydaw. Nauk.

Place of publishing:

Description:

24 cm ; Text in English

Type of object:

Journal/Article

Volume:

Issue:

Start page:

End page:

Format:

application/pdf

Resource Identifier:

oai:rcin.org.pl:62595

Source:

IM PAN, call no. cz331 ; click here to follow the link

Language:

Rights:

Rights Reserved - Restricted Access

Terms of use:

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.

Digitizing institution:

Institute of Mathematics of the Polish Academy of Sciences

Original in:

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

Projects co-financed by:

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

Access:

Subject and keywords:

Astronomia -- czasopisma. [KABA] Chemia -- czasopisma. [KABA] Fizyka -- czasopisma. [KABA] Geografia -- czasopisma. [KABA] Geologia -- czasopisma. [KABA] Matematyka -- czasopisma. [KABA]

Object collections:

Institute of Mathematics PAS > Periodicals

Last modified:

Jan 5, 2022

In our library since:

May 23, 2017

Number of object content downloads / hits:

41

All available object's versions:

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

Show description in RDF format:

Show description in RDFa format:

Show description in OAI-PMH format:

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

Edition name	Date
Rasiowa, Helena (1917-1994), On Satisfiability and Decidability in Non-Classical Functional Calculi	Jan 5, 2022

Objects Similar

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

More

Citation style:

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

This page uses 'cookies'. More information