Kawecki, W. Wynikanie Semantyczne W Rachunku kwantyfikatorów. FPhil 1981, 75-91.