- 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.
- Data publikacji:
- 1953
- Wydawca:
- Państ. Wydaw. Nauk.
- Forma i typ:
-
Tekst
Tekst - Dostawca treści:
- RCIN - Repozytorium Cyfrowe Instytutów Naukowych
Książka