- Tytuł:
-
Bulletin de lAcadémie Polonaise des Sciences. Classe 3, [Mathématique, Astronomie, Physique, Chimie, Géologie et Géographie].
Bulletin de lAcadémie Polonaise des Sciences. Classe 3 T.1 (1953) z.6
On Satisfiability and Decidability in Non-Classical Functional Calculi - Autorzy:
-
Sikorski, Roman (1920–1983)
Rasiowa, Helena (1917–1994) - Współwytwórcy:
- Polska Akademia Nauk.
- Słowa kluczowe:
-
Astronomia -- czasopisma. [KABA]
Fizyka -- czasopisma. [KABA]
Geografia -- czasopisma. [KABA]
Geologia -- czasopisma. [KABA]
Matematyka -- czasopisma. [KABA]
Chemia -- czasopisma. [KABA] - Data publikacji:
- 1953
- Wydawca:
- Państ. Wydaw. Nauk.
- Język:
- angielski
- Linki:
- https://rcin.org.pl/dlibra/publication/edition/62595/content Link otwiera się w nowym oknie
- Prawa:
-
Prawa zastrzeżone - dostęp ograniczony
Rights Reserved - Restricted Access - Źródło:
-
http://im.katalog.pan.pl/ipac20/ipac.jsp?profile=impanwa&index=BOCLC&term=cc95222333 Link otwiera się w nowym oknie
IM PAN, sygn. cz331
IM PAN, call no. cz331 - Dostawca treści:
- RCIN - Repozytorium Cyfrowe Instytutów Naukowych
- Książka
