Kawecki, Wojciech. „Wynikanie Semantyczne W Rachunku kwantyfikatorów”. Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica, nr 1, styczeń 1981, s. 75-91, doi:10.18778/0208-6107.01.05.