1. Tarski, A., Über einige fundamentalen Begriffe der Metamathematik, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, 23, 22–29 (1930).
2. Suszko, E., O analitycznych aksjomatach i logicznych regułach wnioskowania (On analytic axioms and logical rules of inference), The Poznań Society of Friends of Sciences, Philosophical Section, 7, no. 5, 1–30 (1949).
3. —, Formalna teoria wartości logicznych I (Formal theory of logical values I), Studia Logica IV, 145–236 (1957).
4. Łukasiewicz, J. and A. Tarski, Untersuchungen über den Aussagenkalküls, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, 23, 30–30 (1930).
5. Łoś, J., O matrycach logicznych (On logical matrices), Travaux de la Société des Sciences et des Lettres de Wrocław, ser. B, no. 19 (1949).