1. Ajdukiewicz K. 1935 Die Syntaktische Konnexitaet. Studia Philosophica, 1/1935/, 1-27
2. A.P. 1963 A reduction of the axioms for the theory of propositional types. FM, 52/1963/, 345-350
3. Bar-Hillel Y. 1950 On syntactic categories. JSL, 15/1950/, 1-16
4. The axiomatic method in phonology;Batog,1967
5. Boudreaux J. 1976 Set-theoretic models for Leśniewski's logical systems. XXIInd Conference on the History of Logic, 5-9 July, 1976. Jagiellonian University and Polish Academy of Sciences. Kraków, 1976. pp. 2-5 /Abstract/