  The above survey does not do justice to many of the logical studies carried out in the LWS. Let me only mention some of them: particular historical studies of Bocheński and Salamucha, several interpretations of traditional logic (Ajdukiewicz, Czeżowski), partial propositional calculi (all Warsaw logicians), propositional calculus with variable functors (Łukasiewicz), paraconsistency (Jaśkowski), Ł-modal systems (Łukasiewicz), rejection rules, natural deduction (Jaśkowski), intuitionistic logic (Jaśkowski, Tarski, Wajsberg), free logic (Jaśkowski, Mostowski), the elimination of quantifiers (Tarski, Presburger), undecidability (Tarski, Mostowski), the foundations of geometry (Tarski), the elementary theory of real numbers, the calculus of systems (Tarski), the Kleene-Mostowski hierarchy, generalized quantifiers (Mostowski), as well as several particular results: the deduction theorem (Tarski), the upward Löwenheim-Skolem theorem (Tarski), the separation theorem for intuitionistic logic (Wajsberg) or the Lindenbaum maximalization lemma.