- Title:
-
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 - Authors:
-
Sikorski, Roman (1920–1983)
Rasiowa, Helena (1917–1994) - Contributors:
- Polska Akademia Nauk.
- Publication date:
- 1953
- Publisher:
- Państ. Wydaw. Nauk.
- Form and type:
-
Tekst
Tekst - Data provider:
- RCIN - Repozytorium Cyfrowe Instytutów Naukowych
Book