1. O dowodzie matematycznym [On Mathematical Proof]. PZWS, Warszawa (1962). With W.A. Pogorzelski
2. Elementy logiki matematycznej i teorii mnogości. PWN, Warszawa (1963). With L. Borkowski (Eng. Tr.: Elements of Mathematical Logic and Set Theory. Pergamon Press/PWN, Oxford (1967)) Papers:
3. Der volle dreiwertige Aussagenkalkül. Comptes Rendus de Séances de la Société de Sciences et de Lettres de Varsovie, Cl. III, 29, 9–11 (1936) (Eng. tr. in: McCall, S. (ed.) Polish Logic 1920–1939, pp. 335–337. Oxford University Press, Oxford (1967))
4. Kryterium pełnosci wielowartościowych systemów rachunku zdań [A Criterion of Fullness of Many-Valued Systems of Propositional Logic]. Comptes Rendus de Séances de la Société de Sciences et de Lettres de Varsovie, Cl. III, 32, 102–109 (1939) (Eng. tr.: Stud. Logica 30, 153–157 (1972))
5. Dowód akjsomatyzowalności pełnych systemów wielowartościowych rachunków zdań [Proof of Axiomatiozability of Full Many-Valued Systems of Calculus of Propositions]. Comptes Rendus de Séances de la Société de Sciences et de Lettres de Varsovie, Cl. III (1939) (Eng. tr.: Stud. Logica 29, 155–168 (1971))