Advanced search
Advanced search
Advanced search
Advanced search
Advanced search
Rasiowa, Helena (1917–1994) ; Sikorski, Roman (1920–1983)
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].
24 cm ; Tekst w jęz. angielskim
IM PAN, sygn. cz331 ; click here to follow the link
Prawa zastrzeżone - dostęp ograniczony
Instytut Matematyczny Polskiej Akademii Nauk
Centralna Biblioteka Matematyczna Instytutu Matematycznego PAN
Program Operacyjny Innowacyjna Gospodarka, lata 2010-2014, Priorytet 2. Infrastruktura strefy B + R ; Unia Europejska. Europejski Fundusz Rozwoju Regionalnego
Jan 5, 2022
May 23, 2017
41
https://rcin.org.pl./publication/71237
Edition name | Date |
---|---|
Rasiowa, Helena (1917-1994), On Satisfiability and Decidability in Non-Classical Functional Calculi | Jan 5, 2022 |
Sikorski, Roman (1920–1983)
Rzewuski, H. Sosnowski, L.