Search for: [Subject and Keywords = Astronomia \-\- czasopisma. \[KABA\]] OR [Subject and Keywords = Chemia \-\- czasopisma. \[KABA\]] OR [Subject and Keywords = Fizyka \-\- czasopisma. \[KABA\]] OR [Subject and Keywords = Geografia \-\- czasopisma. \[KABA\]] OR [Subject and Keywords = Geologia \-\- czasopisma. \[KABA\]] OR [Subject and Keywords = Matematyka \-\- czasopisma. \[KABA\]] OR [Subject and Keywords = Astronomia \-\- czasopisma. \[KABA\]] OR [Subject and Keywords = Chemia \-\- czasopisma. \[KABA\]] OR [Subject and Keywords = Fizyka \-\- czasopisma. \[KABA\]] OR [Subject and Keywords = Geografia \-\- czasopisma. \[KABA\]] OR [Subject and Keywords = Geologia \-\- czasopisma. \[KABA\]] OR [Subject and Keywords = Matematyka \-\- czasopisma. \[KABA\]] OR [Title = On Satisfiability and Decidability in Non\-Classical Functional Calculi] OR [Title = On Satisfiability and Decidability in Non\-Classical Functional Calculi] OR [Creator = Rasiowa, Helena \(1917–1994\)] OR [Creator = Sikorski, Roman \(1920–1983\)] OR [Creator = Rasiowa, Helena \(1917–1994\)] OR [Creator = Sikorski, Roman \(1920–1983\)]